A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming
- Submitting institution
-
University of Glasgow
- Unit of assessment
- 11 - Computer Science and Informatics
- Output identifier
- 11-04340
- Type
- E - Conference contribution
- DOI
-
10.4230/LIPIcs.ECOOP.2017.24
- Title of conference / published proceedings
- 31st European Conference on Object-Oriented Programming (ECOOP 2017)
- First page
- 24:1
- Volume
- -
- Issue
- -
- ISSN
- 1868-8969
- Open access status
- Compliant
- Month of publication
- June
- Year of publication
- 2017
- URL
-
http://eprints.gla.ac.uk/144402/
- Supplementary information
-
-
- Request cross-referral to
- -
- Output has been delayed by COVID-19
- No
- COVID-19 affected output statement
- -
- Forensic science
- No
- Criminology
- No
- Interdisciplinary
- No
- Number of additional authors
-
3
- Research group(s)
-
-
- Citation count
- -
- Proposed double-weighted
- No
- Reserve for an output with double weighting
- No
- Additional information
- ORIGINALITY: this paper presents the first encoding of multiparty session types (MPST) into more primitive channel types in a core concurrent language, while preserving distributivity of communication and channel delegation. SIGNIFICANCE: the encoding defines the expressivity of MPST and lays the foundation for integrating MPST in mainstream programming languages. The paper is accompanied by an artifact of MPST in Scala with extensive use cases. The artifact was awarded the evaluation seal from the conference committee (see https://2017.ecoop.org/track/ecoop-2017-Artifacts). RIGOUR: mathematical proofs of the soundness of the encoding, with respect to the type system and semantic model, are included.
- Author contribution statement
- -
- Non-English
- No
- English abstract
- -