On the expressiveness of multiparty sessions

DOI10.4230/LIPICS.FSTTCS.2015.560MaRDI QIDQ5275396zbMATH OpenFDO

Authors Romain Demangeon, Nobuko Yoshida

Publication date 13 July 2017

Full work available at URL https://doi.org/10.4230/LIPICS.FSTTCS.2015.560

zbMATH Keywords

asynchronyconcurrencyexpressivenessmessage-passingsession

Mathematics Subject Classification ID

Network protocols (68M12) Distributed systems (68M14)

Recommendations

• Multiparty asynchronous session types
• Exploring type-level bisimilarity towards more expressive multiparty session types
• Composition and decomposition of multiparty sessions
• Multiparty session nets
• scientific article; zbMATH DE number 7319029

Cited in

(11)

• Event structure semantics for multiparty sessions
• Multiparty Session Types Within a Canonical Binary Theory, and Beyond
• Open Multiparty Interaction
• On the undecidability of asynchronous session subtyping
• Monitoring networks through multiparty session types
• Observational equivalence for multiparty sessions
• Precise Subtyping for Asynchronous Multiparty Sessions
• Event structure semantics for multiparty sessions
• A sound and complete projection for global types
• Crash-stop failures in asynchronous multiparty session types
• Partial and complete processes in multiparty sessions

This page was built for publication: On the expressiveness of multiparty sessions

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