On Global Types and Multi-party Sessions

9 years 6 months ago
On Global Types and Multi-party Sessions
We present a new, streamlined language of global types equipped with a trace-based semantics and whose features and restrictions are semantically justified. The multi-party sessions obtained projecting our global types enjoy a liveness property in addition to the traditional progress and are shown to be sound and complete with respect to the set of traces of the originating global type. Our notion of completeness is less demanding than the classical ones, allowing a multiparty session to leave out redundant traces from an underspecified global type. In addition to the technical content, we discuss some limitations of our language of global types and provide an extensive comparison with related specification languages adopted in different communities.
Giuseppe Castagna, Mariangiola Dezani-Ciancaglini,
Added 28 Aug 2011
Updated 28 Aug 2011
Type Journal
Year 2011
Authors Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Luca Padovani
Comments (0)