A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming (Artifact)

Title: A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming (Artifact)
Author(s): Scalas, A
Dardha, O
Hu, R
Yoshida, N
Item Type: Artefact
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.
Publication Date: 16-Jun-2017
URI: http://hdl.handle.net/10044/1/53042
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/)
Keywords: process calculi
session types
concurrent programming
Scala
Conference Place: http://dx.doi.org/10.4230/DARTS.3.2.3
Open Access location: http://dx.doi.org/10.4230/LIPIcs.ECOOP.2017.24
Appears in Collections:Computing



Items in Spiral are protected by copyright, with all rights reserved, unless otherwise indicated.

Creative Commons