Multiparty session types, beyond duality (Abstract)


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.

Publication DOI:
Divisions: College of Engineering & Physical Sciences
Additional Information: © A. Scalas and N. Yoshida This work is licensed under the Creative Commons Attribution License.
Uncontrolled Keywords: Software
Publication ISSN: 2075-2180
Last Modified: 08 Jul 2024 07:53
Date Deposited: 19 Aug 2019 08:10
Full Text Link:
Related URLs: http://www.scop ... tnerID=8YFLogxK (Scopus URL)
https://arxiv.o ... bs/1704.03097v1 (Publisher URL)
PURE Output Type: Conference article
Published Date: 2017-04-08
Accepted Date: 2017-04-01
Authors: Scalas, Alceste (ORCID Profile 0000-0002-1153-6164)
Yoshida, Nobuko



Version: Published Version

License: Creative Commons Attribution

| Preview

Export / Share Citation


Additional statistics for this record