Puntigam, F., Synchronization expressed in the types of communication channels, in: Proceedings of the EURO-PAR'96, number 1123 in LNCS (1996).  Home/Search   Document Details and Download   Summary   Related Articles   Check

....work. This work may be included among others in which type systems for the calculus are studied [18,17,16,20] More closely to the present work [7] introduces subtyping into session types, however the concept of synchronization between sessions is not explored. The same holds for [22] and [19], the rst studies a typing scheme for processes based on graph types and the second a type system for restricting communication in concurrent objects; their relation to session types is discussed in [14] While [10] shares a fair amount in common with this work, there is a major di erence. In ....

Puntigam, F., Synchronization expressed in the types of communication channels, in: Proceedings of the EURO-PAR'96, number 1123 in LNCS (1996).

....is described by a type, which must be respected by both parties. Furthermore, a session type can describe branching behaviour, in which a choice from a number of options determines the type of the subsequent interaction. Similar ideas are incorporated in the type system proposed by Puntigam [28]. The main di erence is that he considers subtyping, motivated by object oriented considerations. Kobayashi et al. 19] have shown that a form of session types (which they call linearized types) can be encoded in a system combining linear types and recursive types. While such encodings often help ....

.... point we will draw on the work of Takeuchi et al. who considered session types in conjunction with principal type schemes (although not with higher order polymorphism as found in Pict) 29] and Puntigam, whose type system incorporates subtyping and shares some of the properties of session types [28]. This stage of the project will extend to six months into the third year. Dr Gay will begin to look at the theoretical issues earlier in the project, with the intention of identifying the key problems. The student will begin to work with Dr Gay on the theoretical issues, while Task 2 is in ....

F. Puntigam. Synchronization expressed in types of communication channels. In Proceedings of Euro-Par 96, volume 1123 of Lecture Notes in Computer Science. Springer-Verlag, 1996.

....its protocol to have a session type which is a supertype of its original session type, then existing client implementations are still type correct with respect to the new server. 15 Session types have some similarities to the types for active objects studied by Nierstrasz [14] and Puntigam [18, 19]. Both incorporate the idea of a type which specifies a sequence of interactions. The main difference seems to be that in the case of active objects, types can specify interdependencies between interactions on different channels. However, the underlying framework (concurrent objects with method ....

F. Puntigam. Synchronization expressed in types of communication channels. In Proceedings of the European Conference on Parallel Processing (Euro-Par'96), volume 1123 of Lecture Notes in Computer Science. Springer-Verlag, 1996.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC