Observational Equivalence for Multiparty Sessions
From MaRDI portal
Publication:5212042
DOI10.3233/FI-2019-1863zbMath1436.68214WikidataQ121746484 ScholiaQ121746484MaRDI QIDQ5212042
Mariangiola Dezani-Ciancaglini, Paula G.Severi
Publication date: 24 January 2020
Published in: Fundamenta Informaticae (Search for Journal in Brave)
Related Items (5)
Deconfined Global Types for Asynchronous Sessions ⋮ A Theory of Formal Choreographic Languages ⋮ Partially Typed Multiparty Sessions ⋮ Composition and decomposition of multiparty sessions ⋮ Unnamed Item
This page was built for publication: Observational Equivalence for Multiparty Sessions