Comparative Transition System Semantics for Cause-Respecting Reversible Prime Event Structures
From MaRDI portal
(Redirected from Publication:6204129)
Cites work
- A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway
- An event structure semantics for general Petri nets
- Causal-consistent replay debugging for message passing programs
- CONCUR 2005 – Concurrency Theory
- Configuration structures, event structures and Petri nets
- Configuration- and residual-based transition systems for event structures with asymmetric conflict
- Contextual equivalences in configuration structures and reversibility
- Controlled reversibility in reaction systems
- Event structure semantics of (controlled) reversible CCS
- Event structure semantics of parallel extrusion in the pi-calculus
- Formal translation from reversing Petri nets to coloured Petri nets
- From event-oriented models to transition systems
- Reduction of event structures under history preserving bisimulation
- Reversibility and asymmetric conflict in event structures
- Reversibility in the higher-order \(\pi\)-calculus
- Reversible occurrence nets and causal reversible prime event structures
- Reversing steps in membrane systems computations
- Reversing Steps in Petri Nets
- Synthesis of quantum circuits vs. synthesis of classical reversible circuits
- The connection between an event structure semantics and an operational semantics for TCSP
- Towards a formal account for software transactional memory
- Transition systems from event structures revisited
This page was built for publication: Comparative Transition System Semantics for Cause-Respecting Reversible Prime Event Structures
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6204129)
