Multipoint Session Types for a Distributed Calculus

EDUARDO BONELLI, ADRIANA COMPAGNONI

LECTURE NOTES IN COMPUTER SCIENCE

Springer-Verlag

Año: 2007 vol. 4912 p. 240 - 256

0302-9743

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.