Multiparty session types, beyond duality (Abstract)
File(s)1704.03097v1.pdf (183.49 KB)
Published version
Author(s)
Scalas, A
Yoshida, N
Type
Conference Paper
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.
Date Issued
2017-04-08
Date Acceptance
2017-03-08
Citation
Electronic Proceedings in Theoretical Computer Science, EPTCS, 2017, 246, pp.37-38
ISSN
2075-2180
Publisher
Open Publishing Association
Start Page
37
End Page
38
Journal / Book Title
Electronic Proceedings in Theoretical Computer Science, EPTCS
Volume
246
Copyright Statement
© 2017 A. Scalas and N. Yoshida
This work is licensed under the
Creative Commons Attribution License.
This work is licensed under the
Creative Commons Attribution License.
Sponsor
Engineering & Physical Science Research Council (E
Engineering & Physical Science Research Council (E
Engineering & Physical Science Research Council (EPSRC)
Commission of the European Communities
Grant Number
ERI 025567 (EP/K034413/1)
PO 1553380
EP/K011715/1
612985
Source
10th International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software
Subjects
cs.PL
D.2.4; D.3.1; D.3.2; F.3.1; F.3.2
Publication Status
Published
Start Date
2017-04-29
Coverage Spatial
Uppsala, Sweden