Concurrent Flexible Reversibility

DOI10.1007/978-3-642-37036-6_21zbMath1381.68210OpenAlexW2131390887MaRDI QIDQ5326296

Ivan Lanese, Claudio Antares Mezzina, Jean-Bernard Stefani, Alan Schmitt, Michael Lienhardt

Publication date: 5 August 2013

Published in: Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-37036-6_21

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) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (20)

Reversibility in the higher-order \(\pi\)-calculus ⋮ Reversibility in session-based concurrency: a fresh look ⋮ Towards Bridging Time and Causal Reversibility ⋮ Static VS Dynamic Reversibility in CCS ⋮ Replication, refinement \& reachability: complexity in dynamic condition-response graphs ⋮ Reversible computation in nets with bonds ⋮ Quantitative Analysis of Concurrent Reversible Computations ⋮ A collective interpretation semantics for reversing Petri nets ⋮ Reversibility and asymmetric conflict in event structures ⋮ Bridging Causal Reversibility and Time Reversibility: A Stochastic Process Algebraic Approach ⋮ Towards a taxonomy for reversible computation approaches ⋮ Unnamed Item ⋮ Causal-consistent rollback in a tuple-based language ⋮ Explicit Identifiers and Contexts in Reversible Concurrent Calculus ⋮ Reversibility and Predictions ⋮ Static versus dynamic reversibility in CCS ⋮ Towards Modelling of Local Reversibility ⋮ Controlling Reversibility in Reversing Petri Nets with Application to Wireless Communications ⋮ Processes against tests: on defining contextual equivalences ⋮ Concurrencies in reversible concurrent calculi

This page was built for publication: Concurrent Flexible Reversibility