Buffered Communication Analysis in Distributed Multiparty Sessions

DOI10.1007/978-3-642-15375-4_24zbMath1287.68130OpenAlexW1930375285MaRDI QIDQ3584941

Nobuko Yoshida, Pierre-Malo Deniélou

Publication date: 31 August 2010

Published in: CONCUR 2010 - Concurrency Theory (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-15375-4_24

Mathematics Subject Classification ID

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

Related Items (6)

Automated verification of automata communicating via FIFO and bag buffers ⋮ On the Undecidability of Asynchronous Session Subtyping ⋮ Deriving session and union types for objects ⋮ Global escape in multiparty sessions ⋮ Global progress for dynamically interleaved multiparty sessions ⋮ A Gentle Introduction to Multiparty Asynchronous Session Types

This page was built for publication: Buffered Communication Analysis in Distributed Multiparty Sessions