2026-07-23T04:09:15Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:7284 2024-03-06T11:05:00Z ddc:004 open_access

A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming (Artifact) Scalas, Alceste Dardha, Ornela Hu, Raymond Yoshida, Nobuko process calculi session types concurrent programming Scala 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Alceste Scalas and Ornela Dardha and Raymond Hu and Nobuko Yoshida 2017 Is Part Of DARTS, Volume 3, Issue 2, Special Issue of the 31st European Conference on Object-Oriented Programming (ECOOP 2017) Article Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DARTS.3.2.3 urn:nbn:de:0030-drops-72847 https://drops.dagstuhl.de/entities/document/10.4230/DARTS.3.2.3 eng https://creativecommons.org/licenses/by/3.0/de/legalcode