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, exist...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Open Publishing Association
2017-04-01
|
| Series: | Electronic Proceedings in Theoretical Computer Science |
| Online Access: | http://arxiv.org/pdf/1704.03097v1 |
| _version_ | 1818337723395604480 |
|---|---|
| author | Alceste Scalas Nobuko Yoshida |
| author_facet | Alceste Scalas Nobuko Yoshida |
| author_sort | Alceste Scalas |
| collection | DOAJ |
| description | 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. |
| first_indexed | 2024-12-13T14:59:45Z |
| format | Article |
| id | doaj.art-6477c6e6281a4e33b6d6e1b6b64bbbd2 |
| institution | Directory Open Access Journal |
| issn | 2075-2180 |
| language | English |
| last_indexed | 2024-12-13T14:59:45Z |
| publishDate | 2017-04-01 |
| publisher | Open Publishing Association |
| record_format | Article |
| series | Electronic Proceedings in Theoretical Computer Science |
| spelling | doaj.art-6477c6e6281a4e33b6d6e1b6b64bbbd22022-12-21T23:41:09ZengOpen Publishing AssociationElectronic Proceedings in Theoretical Computer Science2075-21802017-04-01246Proc. PLACES 2017373810.4204/EPTCS.246.7:3Multiparty Session Types, Beyond Duality (Abstract)Alceste Scalas0Nobuko Yoshida1 Imperial College London Imperial College London 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.http://arxiv.org/pdf/1704.03097v1 |
| spellingShingle | Alceste Scalas Nobuko Yoshida Multiparty Session Types, Beyond Duality (Abstract) Electronic Proceedings in Theoretical Computer Science |
| title | Multiparty Session Types, Beyond Duality (Abstract) |
| title_full | Multiparty Session Types, Beyond Duality (Abstract) |
| title_fullStr | Multiparty Session Types, Beyond Duality (Abstract) |
| title_full_unstemmed | Multiparty Session Types, Beyond Duality (Abstract) |
| title_short | Multiparty Session Types, Beyond Duality (Abstract) |
| title_sort | multiparty session types beyond duality abstract |
| url | http://arxiv.org/pdf/1704.03097v1 |
| work_keys_str_mv | AT alcestescalas multipartysessiontypesbeyonddualityabstract AT nobukoyoshida multipartysessiontypesbeyonddualityabstract |