Reversibility and asymmetric conflict in event structures

Authors:
Iain Phillips;Irek Ulidowski
Affiliations:
Department of Computing, Imperial College London, England;Department of Computer Science, University of Leicester, England
Venue:
CONCUR'13 Proceedings of the 24th international conference on Concurrency Theory
Year:
2013

Citing 12
Cited 0

Event structures

Advances in Petri nets 1986, part II on Petri nets: applications and relationships to other models of concurrency
The chemical abstract machine

Selected papers of the Second Workshop on Concurrency and compositionality
Refinement of actions and equivalence notions for concurrent systems

Acta Informatica
Contextual Petri nets, asymmetric event structures, and processes

Information and Computation
On the Nature of Events

MFCS '92 Proceedings of the 17th International Symposium on Mathematical Foundations of Computer Science
Permutation of transitions: An event structure semantics for CCS and SCCS

Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop
Transactions in RCCS

CONCUR 2005 - Concurrency Theory
Configuration structures, event structures and Petri nets

Theoretical Computer Science
Reversing higher-order pi

CONCUR'10 Proceedings of the 21st international conference on Concurrency theory
Reversible structures

Proceedings of the 9th International Conference on Computational Methods in Systems Biology
Controlling reversibility in higher-order Pi

CONCUR'11 Proceedings of the 22nd international conference on Concurrency theory
A hierarchy of reverse bisimulations on stable configuration structures

Mathematical Structures in Computer Science

Quantified Score

Hi-index	0.00

Visualization

Abstract

Reversible computation has attracted increasing interest in recent years, with applications in hardware, software and biochemistry. We introduce reversible forms of prime event structures and asymmetric event structures. In order to control the manner in which events are reversed, we use asymmetric conflict on events. We discuss, with examples, reversing in causal order, where an event is only reversed once all events it caused have been reversed, as well as forms of non-causal reversing.