Deriving Bisimulation Congruences: A 2-categorical Approach

DOI10.1016/S1571-0661(05)80367-6zbMath1270.68224MaRDI QIDQ2842606

Paweł Sobociński, Vladimiro Sassone

Publication date: 15 August 2013

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

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30)

Related Items (5)

Pure bigraphs: structure and dynamics ⋮ Locating reaction with 2-categories ⋮ Observational congruences for dynamically reconfigurable tile systems ⋮ Directed Bigraphs ⋮ Bigraphs and Their Algebra

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The chemical abstract machine
• A calculus of mobile processes. II
• On reduction-based process semantics
• Calculi for interaction
• Elementary observations on 2-categorical limits
• Barbed bisimulation
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
• Conditional rewriting logic: Deduction, models and concurrency

This page was built for publication: Deriving Bisimulation Congruences: A 2-categorical Approach