Multipoint session types for a distributed calculus

Título:

Multipoint session types for a distributed calculus

Autor:

Bonelli, Eduardo

Colaboradores:

; Compagnoni, Adriana

Temas:

CÁLCULO DISTRIBUIDOCODIFICACIÓN

En:

Trustworthy Global Computing : Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers. Berlín : Springer, 2008. (Lecture Notes in Computer Science ; 4912), pp. 240-256

Resumen:

Session types are a means of statically encoding patterns of interaction between two communicating parties. This paper explores a distributed calculus with session types in which a number of fixed sites interact. The reduction schemes describing the operational semantics satisfy the locality principle: at most one site is involved. Both session engagement and data communication are local and asynchronous. Furthermore, our setting is a natural one in which the novel notion of multipoint session types, sessions in which more than two parties may be involved, can be introduced.

URL/DOI:

http://dx.doi.org/10.1007/978-3-540-78663-4_17

Medio:

Soporte electrónico

Tipo de documento:

Artículo

Descripción física:

1 archivo (279 KB)

Idioma:

Inglés

Publicación:

, 2008

Puede solicitar más fácilmente el ejemplar con: A0281

Ver estantes