A linear decomposition of multiparty sessions for safe distributed programming (Artifact)
File(s)DARTS.3.2.3.pdf (451.6 KB)
Published version
Author(s)
Scalas, A
Dardha, O
Hu, R
Yoshida, N
Type
Conference Paper
Abstract
This artifact contains a version of the Scribble tool that, given a protocol specification with multiple participants, can generate Scala APIs for implementing each participant in a type-safe, protocol-abiding way. Crucially, the API generation leverages a decomposition of the multiparty protocol into type-safe peer-to-peer interactions between pairs of participants; and this, in turn, allows to implement the API internals on top of the existing lchannels library for type-safe binary session programming. As a result, several technically challenging aspects in the implementation of multiparty sessions are solved "for free", at the underlying binary level. This includes distributed multiparty session delegation: this artifact implements it for the first time.
Date Issued
2017-06-20
Date Acceptance
2017-06-01
Citation
2017, 3 (1), pp.3:3-3:3
Start Page
3:3
End Page
3:3
Volume
3
Issue
1
Copyright Statement
© 2017 Alceste Scalas, Ornela Dardha, Raymond Hu, and Nobuko Yoshida; licensed under Creative Commons License CC-BY (https://creativecommons.org/licenses/by/3.0/)
Source
31st European Conference on Object-Oriented Programming (ECOOP 2017)
Subjects
concurrent programming
process calculi
Scala
session types
Start Date
2017-06-18
Finish Date
2017-06-23
Coverage Spatial
Barcelona, Spain