Comparative Transition System Semantics for Cause-Respecting Reversible Prime Event Structures
From MaRDI portal
Publication:6204129
DOI10.4204/eptcs.386.10arXiv2309.02756MaRDI QIDQ6204129
Nataliya Gribovskaya, I. B. Virbitskaite
Publication date: 9 April 2024
Published in: Electronic Proceedings in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2309.02756
Cites Work
- Reversibility in the higher-order \(\pi\)-calculus
- Transition systems from event structures revisited
- Reduction of event structures under history preserving bisimulation
- Contextual equivalences in configuration structures and reversibility
- An event structure semantics for general Petri nets
- Configuration structures, event structures and Petri nets
- Reversibility and asymmetric conflict in event structures
- The connection between an event structure semantics and an operational semantics for TCSP
- Controlled reversibility in reaction systems
- Reversing steps in membrane systems computations
- Reversible occurrence nets and causal reversible prime event structures
- Towards a formal account for software transactional memory
- Formal translation from reversing Petri nets to coloured Petri nets
- From event-oriented models to transition systems
- Dynamic Causality in Event Structures
- Event Structure Semantics of Parallel Extrusion in the Pi-Calculus
- Configuration- and Residual-Based Transition Systems for Event Structures with Asymmetric Conflict
- A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway
- Synthesis of Quantum Circuits vs. Synthesis of Classical Reversible Circuits
- CONCUR 2005 – Concurrency Theory
- Event structure semantics of (controlled) reversible CCS
- Reversing Steps in Petri Nets
- Causal-consistent replay debugging for message passing programs
