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, existin...
Saved in:
| Published in | Electronic proceedings in theoretical computer science Vol. 246; no. Proc. PLACES 2017; pp. 37 - 38 |
|---|---|
| Main Authors | , |
| Format | Journal Article |
| Language | English |
| Published |
Open Publishing Association
08.04.2017
|
| Online Access | Get full text |
| ISSN | 2075-2180 2075-2180 |
| DOI | 10.4204/EPTCS.246.7 |
Cover
| Summary: | 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. |
|---|---|
| ISSN: | 2075-2180 2075-2180 |
| DOI: | 10.4204/EPTCS.246.7 |