CONCUR 2005 – Concurrency Theory

DOI10.1007/11539452MaRDI QIDQ5897490zbMATHOpenAlexFDO

Authors Roberto Bruni, Fabio Gadducci, Ugo Montanari, Paweł Sobociński

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

Mathematics Subject Classification ID

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

Recommendations

• Deriving bisimulation congruences: a 2-categorical approach
• scientific article; zbMATH DE number 2059571
• Deriving Bisimulation Congruences with Borrowed Contexts
• scientific article; zbMATH DE number 1759615
• scientific article; zbMATH DE number 1956527

Cited in

(10)

• Relational presheaves, change of base and weak simulation
• A General Theory of Barbs, Contexts, and Labels
• Models of Computation: A Tribute to Ugo Montanari’s Vision
• Reactive systems, (semi-)saturated semantics and coalgebras on presheaves
• On cool congruence formats for weak bisimulations
• A semantic framework for open processes
• From rewrite rules to bisimulation congruences
• Deriving Bisimulation Congruences with Borrowed Contexts
• On symbolic semantics for name-decorated contexts
• Deriving Bisimulation Congruences for Conditional Reactive Systems

This page was built for publication: CONCUR 2005 – Concurrency Theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5897490)