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

DOI10.1007/978-3-030-86593-1_2MaRDI QIDQ2140476zbMATH OpenOpenAlexFDO

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

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)

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

Cites work

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

Cited in

(9)

• Comparing channel restrictions of communicating state machines, high-level message sequence charts, and multiparty session types
• Multiparty session types meet communicating automata
• Advancing orchestration synthesis for contract automata
• Complete multiparty session type projection with automata
• Featherweight Scribble
• Research Challenges in Orchestration Synthesis
• Exploring type-level bisimilarity towards more expressive multiparty session types
• Certifying data in multiparty session types
• Certifying data in multiparty session types

Describes a project that uses

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)