Multipoint session types for a distributed calculus

Eduardo Bonelli, Adriana Compagnoni

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

46 Scopus citations

Abstract

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.

Original languageEnglish
Title of host publicationTrustworthy Global Computing - Third Symposium, TGC 2007, Revised Selected Papers
Pages240-256
Number of pages17
DOIs
StatePublished - 2008
Event3rd InternationalSymposium on Trustworthy Global Computing, TGC 2007 - Sophia-Antipolis, France
Duration: 5 Nov 20076 Nov 2007

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume4912 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference3rd InternationalSymposium on Trustworthy Global Computing, TGC 2007
Country/TerritoryFrance
CitySophia-Antipolis
Period5/11/076/11/07

Fingerprint

Dive into the research topics of 'Multipoint session types for a distributed calculus'. Together they form a unique fingerprint.

Cite this