CONCUR 2004 - Concurrency Theory

DOI10.1007/b100113zbMath1099.68073OpenAlexW2499482941MaRDI QIDQ5311493

Paulo Tabuada

Publication date: 23 August 2005

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b100113

Mathematics Subject Classification ID

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

Related Items

Interface synthesis and protocol conversion, Modular supervisory control with equivalence-based abstraction and covering-based conflict resolution, Controller synthesis for bisimulation equivalence