A hierarchy of reverse bisimulations on stable configuration structures

DOI10.1017/S0960129511000429zbMath1238.68102MaRDI QIDQ2883121

Iain Phillips, Irek Ulidowski

Publication date: 11 May 2012

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

zbMATH Keywords

hereditary history-preserving bisimulationinterleaving bisimulationpomset bisimulationpower of bisimulationsreverse stepsstep bisimulation

Mathematics Subject Classification ID

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

Related Items (6)

A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway ⋮ Contextual equivalences in configuration structures and reversibility ⋮ Reversibility and asymmetric conflict in event structures ⋮ A parametric framework for reversible \(\pi\)-calculi ⋮ Forward-Reverse Observational Equivalences in CCSK ⋮ Event Identifier Logic

Cites Work

• Observation equivalence as a testing equivalence
• A completed hierarchy of true concurrent equivalences
• Petri nets, event structures and domains. I
• The difference between splitting in \(n\) and \(n+1\)
• Undecidability of domino games and hhp-bisimilarity.
• Bisimulation from open maps
• Reversing algebraic process calculi
• Reversibility and Models for Concurrency
• Refinement of actions and equivalence notions for concurrent systems

This page was built for publication: A hierarchy of reverse bisimulations on stable configuration structures