Concurrency and Reversibility
From MaRDI portal
Publication:3188912
DOI10.1007/978-3-319-08494-7_1zbMath1416.68124MaRDI QIDQ3188912
Iain Phillips, Irek Ulidowski, Shoji Yuen
Publication date: 2 September 2014
Published in: Reversible Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-08494-7_1
68Q10: Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.)
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
A Stable Non-interleaving Early Operational Semantics for the Pi-Calculus, Reversibility and asymmetric conflict in event structures, Towards Modelling of Local Reversibility, A Calculus for Local Reversibility