Locating reaction with 2-categories

DOI10.1016/j.tcs.2004.10.025zbMath1070.68107OpenAlexW2124846473MaRDI QIDQ1770420

Vladimiro Sassone, Paweł Sobociński

Publication date: 6 April 2005

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2004.10.025

Mathematics Subject Classification ID

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

Related Items

Reactive systems, (semi-)saturated semantics and coalgebras on presheaves ⋮ A semantic framework for open processes ⋮ On Symbolic Semantics for Name-decorated Contexts ⋮ Making the Unobservable, Unobservable ⋮ Relational presheaves, change of base and weak simulation ⋮ G-Reactive Systems as Coalgebras ⋮ Bialgebraic Methods in Structural Operational Semantics

Cites Work

• Introduction to extensive and distributive categories
• Calculi for interaction
• Deriving Bisimulation Congruences: A 2-categorical Approach
• Bigraphs and transitions
• Elementary observations on 2-categorical limits
• Bisimulation congruences in safe ambients
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
• From rewrite rules to bisimulation congruences
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item