Multiparty session types, beyond duality (Abstract)

Alceste Scalas, Nobuko Yoshida

Research output: Contribution to journalConference articlepeer-review


Multiparty Session Types (MPST) are a well-established typing discipline for message-passing processes interacting on sessions involving two or more participants. Session typing can ensure desirable properties: absence of communication errors and deadlocks, and protocol conformance. However, existing MPST works provide a subject reduction result that is arguably (and sometimes, surprisingly) restrictive: it only holds for typing contexts with strong duality constraints on the interactions between pairs of participants. Consequently, many "intuitively correct" examples cannot be typed and/or cannot be proved type-safe. We illustrate some of these examples, and discuss the reason for these limitations. Then, we outline a novel MPST typing system that removes these restrictions.

Original languageEnglish
Pages (from-to)37-38
Number of pages2
JournalElectronic Proceedings in Theoretical Computer Science, EPTCS
Publication statusPublished - 8 Apr 2017
Event10th Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES 2017 - Uppsala, Sweden
Duration: 29 Apr 2017 → …

Bibliographical note

© A. Scalas and N. Yoshida
This work is licensed under the
Creative Commons Attribution License.


Dive into the research topics of 'Multiparty session types, beyond duality (Abstract)'. Together they form a unique fingerprint.

Cite this