TY - GEN
T1 - Multipoint session types for a distributed calculus
AU - Bonelli, Eduardo
AU - Compagnoni, Adriana
PY - 2008
Y1 - 2008
N2 - 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.
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.
UR - http://www.scopus.com/inward/record.url?scp=41549098685&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=41549098685&partnerID=8YFLogxK
U2 - 10.1007/978-3-540-78663-4_17
DO - 10.1007/978-3-540-78663-4_17
M3 - Conference contribution
AN - SCOPUS:41549098685
SN - 3540786627
SN - 9783540786627
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 240
EP - 256
BT - Trustworthy Global Computing - Third Symposium, TGC 2007, Revised Selected Papers
T2 - 3rd InternationalSymposium on Trustworthy Global Computing, TGC 2007
Y2 - 5 November 2007 through 6 November 2007
ER -