Reversibility and asymmetric conflict in event structures

DOI10.1016/j.jlamp.2015.07.004zbMath1330.68213OpenAlexW2000492932MaRDI QIDQ890616

Iain Phillips, Irek Ulidowski

Publication date: 10 November 2015

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlamp.2015.07.004

zbMATH Keywords

reversible computationasymmetric conflictevent structure

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items

Reversible Computation vs. Reversibility in Petri Nets, Reversible computation in nets with bonds, A collective interpretation semantics for reversing Petri nets, Towards a categorical representation of reversible event structures, Event structure semantics for multiparty sessions, Reversing Steps in Petri Nets, Towards a taxonomy for reversible computation approaches, An axiomatic approach to reversible computation, Comparative Transition System Semantics for Cause-Respecting Reversible Prime Event Structures, Unnamed Item, Unnamed Item, Event structure semantics of (controlled) reversible CCS, Event structures for the reversible early internal \(\pi\)-calculus, Unnamed Item, Unnamed Item, Reversible Imperative Parallel Programs and Debugging, A Petri net view of covalent bonds, Concurrent Reversible Sessions, Reversible sessions with flexible choices, Investigating Reversibility of Steps in Petri Nets

Cites Work

• Unnamed Item
• Unnamed Item
• Configuration structures, event structures and Petri nets
• Petri nets, event structures and domains. I
• The chemical abstract machine
• Contextual Petri nets, asymmetric event structures, and processes
• Reversing algebraic process calculi
• Reversibility and Asymmetric Conflict in Event Structures
• General Reversibility
• Modelling of Bonding with Processes and Events
• A hierarchy of reverse bisimulations on stable configuration structures
• Controlling Reversibility in Higher-Order Pi
• Concurrency and Reversibility
• A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway
• A Logic for True Concurrency
• Reversing Higher-Order Pi
• On the nature of events
• CONCUR 2004 - Concurrency Theory
• Concurrent Flexible Reversibility
• Event Identifier Logic
• CONCUR 2005 – Concurrency Theory
• Refinement of actions and equivalence notions for concurrent systems