On cool congruence formats for weak bisimulations

DOI10.1016/J.TCS.2011.02.036MaRDI QIDQ549196zbMATH OpenOpenAlexFDO

Authors Rob 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

CSPconcurrencyweak bisimulationstructural operational semanticsCCSbranching bisimulationdelay bisimulation\(\eta \)-bisimulation

Mathematics Subject Classification ID

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

Recommendations

• Theoretical Aspects of Computing – ICTAC 2005
• Processes, Terms and Cycles: Steps on the Road to Infinity
• CONCUR 2005 – Concurrency Theory
• Weak bisimulation as a congruence in MSOS
• Towards weak bisimulation for coalgebras
• A note on the characterization of weak bisimulation congruence in CCS
• From bialgebraic semantics to congruence formats
• Weak Bisimulation Approximants
• New up-to techniques for weak bisimulation
• Computing maximal weak and other bisimulations

Cites work

• scientific article; zbMATH DE number 3978362 (Why is no real title available?)
• scientific article; zbMATH DE number 48157 (Why is no real title available?)
• scientific article; zbMATH DE number 1142329 (Why is no real title available?)
• scientific article; zbMATH DE number 1759617 (Why is no real title available?)
• A Theory of Communicating Sequential Processes
• A structural approach to operational semantics
• Algebra of communicating processes with abstraction
• Bisimulation can't be traced
• Branching bisimilarity is an equivalence indeed!
• Branching time and abstraction in bisimulation semantics
• Divide and Congruence: From Decomposition of Modalities to Preservation of Branching Bisimulation
• Divide and congruence applied to \(\eta\)-bisimulation
• Higher-level synchronising devices in Meije-SCCS
• Ordered SOS process languages for branching and eager bisimulations
• Processes, Terms and Cycles: Steps on the Road to Infinity
• Rooted branching bisimulation as a congruence
• Specification-oriented semantics for communicating processes
• Structural operational semantics for weak bisimulations
• Turning SOS rules into equations

Cited in

(15)

• Probabilistic divide \& congruence: branching bisimilarity
• Theoretical Aspects of Computing – ICTAC 2005
• Up-to techniques for branching bisimilarity
• Divide and congruence: from decomposition of modal formulas to preservation of branching and -bisimilarity
• SOS formats and meta-theory: 20 years after
• Processes, Terms and Cycles: Steps on the Road to Infinity
• A congruence format for name-passing calculi
• Comparing the expressiveness of the \(\pi \)-calculus and CCS
• Weak bisimulation as a congruence in MSOS
• Characteristic invariants in Hennessy-Milner logic
• Divide and congruence. II: From decomposition of modal formulas to preservation of delay and weak bisimilarity
• On constructibility and unconstructibility of LTS operators from other LTS operators
• Ensuring liveness properties of distributed systems: open problems
• Notes on generative probabilistic bisimulation
• A general account of coinduction up-to

This page was built for publication: On cool congruence formats for weak bisimulations

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