Multiparty Session Types Meet Communicating Automata
Abstract elided by the publisher.
Related papers
- Complete Multiparty Session Type Projection with Automata CAV 2023
- Verifying Asynchronous Interactions via Communicating Session Automata CAV 2019
- An Automata-theoretic Basis for Specification and Type Checking of Multiparty Protocols ESOP 2025
- Design-By-Contract for Flexible Multiparty Session Protocols ECOOP 2022
- API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3 ECOOP 2022
- Communication-safe web programming in TypeScript with routed multiparty session types CC 2021
- Multiparty asynchronous session types POPL 2008
- Refinements for Multiparty Message-Passing Protocols: Specification-Agnostic Theory and Implementation ECOOP 2024