API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3 (Full Version)

Guillermina Cledou, L.J. Edixhoven, Sung-Shik Jongmans*, José Proença

*Corresponding author for this work

Research output: Book/ReportTechnical reportAcademic

Abstract

Construction and analysis of distributed systems is difficult. Multiparty session types (MPST)
constitute a method to make it easier. The idea is to use type checking to statically prove deadlock
freedom and protocol compliance of communicating processes. In practice, the premier approach to
apply the MPST method in combination with mainstream programming languages has been based
on API generation. In this paper (pearl), we revisit and revise this approach.
Regarding our “revisitation”, using Scala 3, we present the existing API generation approach,
which is based on deterministic finite automata (DFA), in terms of both the existing states-as-classes
encoding of DFAs as APIs, and a new states-as-type-parameters encoding; the latter leverages match
types in Scala 3. Regarding our “revision”, also using Scala 3, we present a new API generation
approach that is based on sets of pomsets instead of DFAs; it crucially leverages match types,
too. Our fresh perspective allows us to avoid two forms of combinatorial explosion resulting from
implementing concurrent subp
Original languageEnglish
Place of PublicationHeerlen
PublisherOpen Universiteit Nederland
Number of pages31
Publication statusPublished - Jun 2022

Publication series

SeriesOUNL-CS (Technical Reports)
Number03
Volume2022

Fingerprint

Dive into the research topics of 'API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3 (Full Version)'. Together they form a unique fingerprint.

Cite this