CONCUR 2005 – Concurrency Theory
From MaRDI portal
Publication:5897490
DOI10.1007/11539452zbMath1134.68428MaRDI QIDQ5897490
Roberto Bruni, Paweł Sobociński, Fabio Gadducci, Ugo Montanari
Publication date: 1 November 2006
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11539452
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
On Symbolic Semantics for Name-decorated Contexts, Reactive systems, (semi-)saturated semantics and coalgebras on presheaves, Relational presheaves, change of base and weak simulation, A semantic framework for open processes, A General Theory of Barbs, Contexts, and Labels, Models of Computation: A Tribute to Ugo Montanari’s Vision