Observational Equivalence for Multiparty Sessions

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)

Mathematics Subject Classification ID

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

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