Concurrency and Reversibility
From MaRDI portal
Publication:3188912
DOI10.1007/978-3-319-08494-7_1zbMath1416.68124MaRDI QIDQ3188912
Iain Phillips, Shoji Yuen, Irek Ulidowski
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
Controlling Reversibility in Reversing Petri Nets with Application to Wireless Communications, A Stable Non-interleaving Early Operational Semantics for the Pi-Calculus, Unnamed Item, The correctness of concurrencies in (reversible) concurrent calculi, Reversibility and asymmetric conflict in event structures, Concurrencies in reversible concurrent calculi, Towards a categorical representation of reversible event structures, A stable non-interleaving early operational semantics for the pi-calculus, Reversible computation in nets with bonds, Towards Modelling of Local Reversibility, A Calculus for Local Reversibility