Document Open Access Logo

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

Authors Alceste Scalas, Ornela Dardha, Raymond Hu, Nobuko Yoshida

PDF

Artifact Description

Thumbnail PDF
PDF
DARTS.3.2.3.pdf
  • Filesize: 451 kB
  • 3 pages

Document Identifiers

Subject Classification

Keywords
  • process calculi
  • session types
  • concurrent programming
  • Scala

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads
    0
    Metadata Views

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.

Cite As Get BibTex

Alceste Scalas, Ornela Dardha, Raymond Hu, and Nobuko Yoshida. A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming (Artifact). In Special Issue of the 31st European Conference on Object-Oriented Programming (ECOOP 2017). Dagstuhl Artifacts Series (DARTS), Volume 3, Issue 2, pp. 3:1-3:3, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017) https://doi.org/10.4230/DARTS.3.2.3

Author Details

Alceste Scalas
Ornela Dardha
Raymond Hu
Nobuko Yoshida

Artifact

  MD5 Sum: ae0ea460fbe40c7a96abba0913fe546c (Get MD5 Sum)

Related Article

  • Alceste Scalas, Ornela Dardha, Raymond Hu, and Nobuko Yoshida, "A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming", in 31st European Conference on Object-Oriented Programming (ECOOP 2017), LIPIcs, Vol. 74, pp. 24:1-24:31, 2017. https://doi.org/10.4230/LIPIcs.ECOOP.2017.24

References

  1. Raymond Hu and Nobuko Yoshida. Hybrid session verification through endpoint API generation. In FASE, 2016. URL: http://dx.doi.org/10.1007/978-3-662-49665-7_24.
  2. Alceste Scalas and Nobuko Yoshida. Lightweight session programming in Scala. In ECOOP, 2016. URL: http://dx.doi.org/10.4230/LIPIcs.ECOOP.2016.21.
  3. Alceste Scalas and Nobuko Yoshida. Lightweight Session Programming in Scala (Artifact). Dagstuhl Artifacts Series, 2(1), 2016. URL: http://dx.doi.org/http://dx.doi.org/10.4230/DARTS.2.1.11.
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail
© 2023-2025 Schloss Dagstuhl – LZI GmbH About DROPS Imprint Privacy Contact