Multipoint session types for a distributed calculus
| Autor Principal: | |
|---|---|
| Otros autores o Colaboradores: | |
| Formato: | Capítulo de libro |
| Lengua: | inglés |
| Temas: | |
| Acceso en línea: | http://dx.doi.org/10.1007/978-3-540-78663-4_17 Consultar en el Cátalogo |
| 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. |
| Notas: | Formato de archivo: PDF. -- Este documento es producción intelectual de la Facultad de Informática - UNLP (Colección BIPA/Biblioteca) |
| Descripción Física: | 1 archivo (279 KB) |
| DOI: | 10.1007/978-3-540-78663-4_17 |