A hierarchy of reverse bisimulations on stable configuration structures

DOI10.1017/S0960129511000429MaRDI QIDQ2883121zbMATHFDO

Authors Iain Phillips, Irek Ulidowski

Publication date 11 May 2012

Published in MSCS. 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)

Recommendations

• Reverse bisimulations on stable configuration structures
• Reversible barbed congruence on configuration structures
• Contextual equivalences in configuration structures and reversibility
• A logic with reverse modalities for history-preserving bisimulations
• scientific article; zbMATH DE number 70113

Cites work

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

Cited in

(11)

• Reversible barbed congruence on configuration structures
• scientific article; zbMATH DE number 70113 (Why is no real title available?)
• A parametric framework for reversible \(\pi\)-calculi
• Reversibility and asymmetric conflict in event structures
• Reverse bisimulations on stable configuration structures
• A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway
• Forward-reverse observational equivalences in CCSK
• Contextual equivalences in configuration structures and reversibility
• Event identifier logic
• Behavioural logics for configuration structures
• Model checking reversible systems: forwardly

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

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