Multiparty session types, beyond duality (Abstract)

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: https://doi.org/10.4204/EPTCS.246.7
Divisions: College of Engineering & Physical Sciences > School of Informatics and Digital Engineering > Computer Science
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
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

Download

[img]

Version: Published Version

License: Creative Commons Attribution

| Preview

Export / Share Citation


Statistics

Additional statistics for this record