On cool congruence formats for weak bisimulations

DOI10.1016/j.tcs.2011.02.036zbMath1216.68199OpenAlexW2104917880MaRDI QIDQ549196

Robert J. van Glabbeek

Publication date: 7 July 2011

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

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

zbMATH Keywords

structural operational semanticsCSPconcurrencyweak bisimulationCCSbranching bisimulationdelay bisimulation\(\eta \)-bisimulation

Mathematics Subject Classification ID

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

Related Items

SOS formats and meta-theory: 20 years after ⋮ Weak Bisimulation as a Congruence in MSOS ⋮ Divide and congruence. II: From decomposition of modal formulas to preservation of delay and weak bisimilarity ⋮ Characteristic invariants in Hennessy-Milner logic ⋮ Divide and congruence: from decomposition of modal formulas to preservation of branching and \(\eta \)-bisimilarity ⋮ Comparing the expressiveness of the \(\pi \)-calculus and CCS ⋮ Up-to Techniques for Branching Bisimilarity ⋮ A general account of coinduction up-to ⋮ Probabilistic divide \& congruence: branching bisimilarity ⋮ Ensuring liveness properties of distributed systems: open problems ⋮ On constructibility and unconstructibility of LTS operators from other LTS operators ⋮ Notes on Generative Probabilistic Bisimulation

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Structural operational semantics for weak bisimulations
• Specification-oriented semantics for communicating processes
• Algebra of communicating processes with abstraction
• Higher-level synchronising devices in Meije-SCCS
• Turning SOS rules into equations
• Branching bisimilarity is an equivalence indeed!
• Ordered SOS process languages for branching and eager bisimulations
• A structural approach to operational semantics
• Rooted branching bisimulation as a congruence
• Divide and Congruence: From Decomposition of Modalities to Preservation of Branching Bisimulation
• A Theory of Communicating Sequential Processes
• Bisimulation can't be traced
• Branching time and abstraction in bisimulation semantics
• Processes, Terms and Cycles: Steps on the Road to Infinity