Partial and complete processes in multiparty sessions

DOI10.1016/J.ENTCS.2016.03.010MaRDI QIDQ737096zbMATH OpenOpenAlexWikidataFDO

Authors Mario Coppo, Mariangiola Dezani-Ciancaglini, Ines Margaria, Maddalena Zacchi

Publication date 5 August 2016

Full work available at URL https://doi.org/10.1016/j.entcs.2016.03.010

zbMATH Keywords

\(\pi\)-calculussession typesmultiparty sessions

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Composition and decomposition of multiparty sessions
• On the expressiveness of multiparty sessions
• Multiparty session types, beyond duality
• Multiparty Session Types Within a Canonical Binary Theory, and Beyond
• Event structure semantics for multiparty sessions
• Global progress for dynamically interleaved multiparty sessions
• Multiparty session types as coherence proofs
• scientific article; zbMATH DE number 6774227

Cites work

• A gentle introduction to multiparty asynchronous session types
• Global Progress in Dynamically Interleaved Multiparty Sessions
• Globally governed session semantics
• Multiparty asynchronous session types
• Types and programing languages

Cited in

(3)

• Observational equivalence for multiparty sessions
• Composition and decomposition of multiparty sessions
• Partially typed multiparty sessions with internal delegation

Describes a project that uses

Uses Software

• Scribble

This page was built for publication: Partial and complete processes in multiparty sessions

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