Communicating finite state machines and an extensible toolchain for multiparty session types

DOI10.1007/978-3-030-86593-1_2zbMATH Open1487.68168OpenAlexW3199431963MaRDI QIDQ2140476FDOQ2140476

Authors: Nobuko Yoshida, Fangyi Zhou, Francisco Ferreira 

Publication date: 20 May 2022

Full work available at URL: https://doi.org/10.1007/978-3-030-86593-1_2

Recommendations

• Multiparty session types meet communicating automata
• Multiparty session types, beyond duality
• Certifying data in multiparty session types
• Multiparty compatibility in communicating automata: characterisation and synthesis of global session types
• Exploring type-level bisimilarity towards more expressive multiparty session types

zbMATH Keywords

session typesprotocolsdistributed programmingcommunicating finite state machinesScribble

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• Linear logic
• From communicating machines to graphical choreographies
• Multiparty asynchronous session types
• On Communicating Finite-State Machines
• Multiparty compatibility in communicating automata: characterisation and synthesis of global session types
• Multiparty Asynchronous Session Types
• Nested protocols in session types
• Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python
• On the preciseness of subtyping in session types
• Precise subtyping for synchronous multiparty sessions
• Verifying asynchronous interactions via communicating session automata
• Multiparty session actors
• Title not available (Why is that?)
• Featherweight Scribble

Cited In (6)

• Certifying data in multiparty session types
• Certifying data in multiparty session types
• Exploring type-level bisimilarity towards more expressive multiparty session types
• Multiparty session types meet communicating automata
• Advancing orchestration synthesis for contract automata
• Research Challenges in Orchestration Synthesis

Uses Software

• Scribble
• Zooid

This page was built for publication: Communicating finite state machines and an extensible toolchain for multiparty session types

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2140476)