Partial and complete processes in multiparty sessions

DOI10.1016/J.ENTCS.2016.03.010zbMATH Open1345.68233OpenAlexW2338315354WikidataQ113317694 ScholiaQ113317694MaRDI QIDQ737096FDOQ737096

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

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

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)

Cites Work

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

Cited In (3)

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

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)