Reversibility and Asymmetric Conflict in Event Structures

DOI10.1007/978-3-642-40184-8_22zbMath1390.68486OpenAlexW1996025065MaRDI QIDQ2842116

Irek Ulidowski, Iain Phillips

Publication date: 12 August 2013

Published in: CONCUR 2013 – Concurrency Theory (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/10044/1/29503

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 (5)

Reversibility in the higher-order \(\pi\)-calculus ⋮ A Calculus for Local Reversibility ⋮ Reversibility and asymmetric conflict in event structures ⋮ Towards a taxonomy for reversible computation approaches ⋮ Towards Modelling of Local Reversibility

This page was built for publication: Reversibility and Asymmetric Conflict in Event Structures