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