Observational equivalence for multiparty sessions

DOI10.3233/FI-2019-1863MaRDI QIDQ5212042zbMATH OpenWikidataFDO

Authors Mariangiola Dezani-Ciancaglini, Paula Severi

Publication date 24 January 2020

Published in Fundamenta Informaticae (Search for Journal in Brave)

Mathematics Subject Classification ID

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

Recommendations

• Partial and complete processes in multiparty sessions
• Event structure semantics for multiparty sessions
• Composition and decomposition of multiparty sessions
• On the expressiveness of multiparty sessions
• scientific article; zbMATH DE number 7319029

Cited in

(10)

• Partially typed multiparty sessions with internal delegation
• Event structure semantics for multiparty sessions
• Global types and event structure semantics for asynchronous multiparty sessions
• Partially Typed Multiparty Sessions
• Composition and decomposition of multiparty sessions
• Fair asynchronous session subtyping
• Fair termination of multiparty sessions
• scientific article; zbMATH DE number 7559468 (Why is no real title available?)
• Deconfined Global Types for Asynchronous Sessions
• A Theory of Formal Choreographic Languages

This page was built for publication: Observational equivalence for multiparty sessions

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