A session type is an abstraction of a sequence of heterogeneous values sent over one channel between two communicating processes. Session types have been introduced to guarantee consistency of the exchanged data and, more recently, progress of the session, i.e. the property that once a communication has been established, well-formed programs will never starve at communication points. A relevant feature which influences progress is whether the communication is synchronous or asynchronous. In this paper, we first formulate a typed asynchronous multi-threaded object-oriented language with thread spawning, iterative and higher order sessions. Then we study its progress through a new effect system. As far as we know, ours is the first session type system which assures progress in asynchronous communication. © IFIP International Federation for Information Processing 2007.
CITATION STYLE
Coppo, M., Dezani-Ciancaglini, M., & Yoshida, N. (2007). Asynchronous session types and progress for object oriented languages. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4468 LNCS, pp. 1–31). Springer Verlag. https://doi.org/10.1007/978-3-540-72952-5_1
Mendeley helps you to discover research relevant for your work.