CONCUR 2005 – Concurrency Theory

DOI10.1007/11539452zbMATH Open1134.68428OpenAlexW1737342522MaRDI QIDQ5897490FDOQ5897490

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

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

Mathematics Subject Classification ID

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

Cited In (10)

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