2026-08-11T00:28:35Z https://drops.dagstuhl.de/oai

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

Designing Asynchronous Multiparty Protocols with Crash-Stop Failures (Artifact) Barwell, Adam D. Hou, Ping Yoshida, Nobuko Zhou, Fangyi Session Types Concurrency Failure Handling Code Generation Scala We introduce Teatrino, a toolchain that supports handling multiparty protocols with crash-stop failures and crash-handling behaviours. Teatrino accompanies the novel MPST theory in the related article, and enables users to generate fault-tolerant protocol-conforming Scala code from Scribble protocols. Local types are projected from the global protocol, enabling correctness-by-construction, and are expressed directly as Scala types via the Effpi concurrency library. Teatrino extends both Scribble and Effpi with support for crash-stop behaviour. The generated Scala code is executable and can be further integrated with existing systems. The accompanying theory in the related article guarantees deadlock-freedom and liveness properties for failure handling protocols and their implementation. This artifact includes examples, extended from both session type and distributed systems literature, featured in the related article. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Adam D. Barwell and Ping Hou and Nobuko Yoshida and Fangyi Zhou 2023 Is Part Of DARTS, Volume 9, Issue 2, Special Issue of the 37th European Conference on Object-Oriented Programming (ECOOP 2023) Article Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DARTS.9.2.9 urn:nbn:de:0030-drops-182492 https://drops.dagstuhl.de/entities/document/10.4230/DARTS.9.2.9 eng https://creativecommons.org/licenses/by/4.0/legalcode