Partial and complete processes in multiparty sessions

DOI10.1016/j.entcs.2016.03.010zbMath1345.68233OpenAlexW2338315354WikidataQ113317694 ScholiaQ113317694MaRDI QIDQ737096

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

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)

Uses Software

• Scribble

Cites Work

• Unnamed Item
• A Gentle Introduction to Multiparty Asynchronous Session Types
• Multiparty asynchronous session types
• Global Progress in Dynamically Interleaved Multiparty Sessions
• Globally Governed Session Semantics

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