2026-07-24T08:25:10Z https://drops.dagstuhl.de/oai

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

Multiparty Session Programming with Global Protocol Combinators (Artifact) Imai, Keigo Neykova, Rumyana Yoshida, Nobuko Yuen, Shoji Multiparty Session Types Communication Protocol Concurrent and Distributed Programming OCaml In the paper "Multiparty Session Programming with Global Protocol Combinators", we introduce a library, ocaml-mpst for programming with global combinators - a set of functions for writing and verifying multiparty protocols in OCaml. Local behaviours for all processes in a protocol are inferred at once from a global combinator. Our approach enables fully-static verification and implementation of the whole protocol, from the protocol specification to the process implementations, to happen in the same language. This artifact is the source code of ocaml-mpst, with all the examples and benchmarks discussed in the paper. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Keigo Imai and Rumyana Neykova and Nobuko Yoshida and Shoji Yuen 2020 Is Part Of DARTS, Volume 6, Issue 2, Special Issue of the 34th European Conference on Object-Oriented Programming (ECOOP 2020) Article Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DARTS.6.2.18 urn:nbn:de:0030-drops-132159 https://drops.dagstuhl.de/entities/document/10.4230/DARTS.6.2.18 eng https://creativecommons.org/licenses/by/3.0/legalcode