Formal Methods in Computing(Most of the papers antecedent to 1995are not included in the list) FRAMES  NO FRAME

 CDY07 (In proceedings) Author(s) Mario Coppo, Mariangiola Dezani-Ciancaglini and Nobuko Yoshida Title « Asynchronous Session Types and Progress for Object-Oriented Languages » In FMOODS'07 Series LNCS Editor(s) Marcello Bonsangue and Einar Broch Johnsen Volume 4468 Page(s) 1--31 Year 2007 Publisher Springer PDF http://www.di.unito.it/˜dezani/papers/cdy.pdf
 Abstract 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.

 BibTeX code

@inproceedings{CDY07,
volume = 4468,
pdf = {http://www.di.unito.it/~dezani/papers/cdy.pdf},
author = {Mario Coppo and Mariangiola Dezani-Ciancaglini and Nobuko Yoshida},
series = {LNCS},
booktitle = {FMOODS'07},
editor = {Marcello Bonsangue and Einar Broch Johnsen},
title = {{Asynchronous Session Types and Progress for Object-Oriented
Languages}},
abstract = {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, \emph{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. {T}hen 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.},
publisher = {Springer},
year = {2007},
pages = {1--31},
}

 Formal Methods in Computing(Most of the papers antecedent to 1995are not included in the list) FRAMES  NO FRAME

This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)