TY  - GEN
T1  - Multipoint session types for a distributed calculus
A1  - Bonelli, Eduardo
A2  - Compagnoni, Adriana
LA  - English
UL  - http://vufind10-pruebas.sigbunlp.bibliotecas.unlp.edu.ar/Record/dif.55717
AB  - 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.
NO  - Formato de archivo: PDF. -- Este documento es producción intelectual de la Facultad de Informática - UNLP (Colección BIPA/Biblioteca)
KW  - CÁLCULO DISTRIBUIDO
KW  - CODIFICACIÓN
ER  -