Globally Governed Session Semantics
From MaRDI portal
Publication:5891114
DOI10.1007/978-3-642-40184-8_28zbMath1390.68477arXiv1412.5943OpenAlexW1925097485MaRDI QIDQ5891114
Nobuko Yoshida, Dimitrios Kouzapas
Publication date: 12 August 2013
Published in: CONCUR 2013 – Concurrency Theory (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1412.5943
Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (4)
Multiparty session types, beyond duality ⋮ Precise subtyping for synchronous multiparty sessions ⋮ Unnamed Item ⋮ A core model for choreographic programming
This page was built for publication: Globally Governed Session Semantics
