A modular formalization of reversibility for concurrent models and languages

MaRDI QIDQ5216332zbMATH OpenFDO

Authors Alexis Bernadet, Ivan Lanese

Publication date 17 February 2020

Full work available at URL https://arxiv.org/abs/1608.03325, http://eptcs.web.cse.unsw.edu.au/paper.cgi?ICE2016.7

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Relative expressiveness of calculi for reversible concurrency
• Reversibility and models for concurrency
• A parametric framework for reversible \(\pi\)-calculi
• Concurrency and reversibility
• Causal-consistent reversibility

Cited in

(19)

• From reversible semantics to reversible debugging
• On reversibility and broadcast
• Checkpoint/rollback vs causally-consistent reversibility
• The reversible temporal process language
• An axiomatic approach to reversible computation
• Specifying reversibility with \(\mathrm{TLA}^+\)
• A parametric framework for reversible \(\pi\)-calculi
• Reversibility in massive concurrent systems
• Causal-consistent reversibility
• Causal-consistent replay reversible semantics for message passing concurrent programs
• Towards bridging time and causal reversibility
• scientific article; zbMATH DE number 7559489 (Why is no real title available?)
• Causal-consistent rollback in a tuple-based language
• Explicit Identifiers and Contexts in Reversible Concurrent Calculus
• Relative expressiveness of calculi for reversible concurrency
• Bridging Causal Reversibility and Time Reversibility: A Stochastic Process Algebraic Approach
• revTPL: The Reversible Temporal Process Language
• An axiomatic theory for reversible computation
• Causal reversibility implies time reversibility

This page was built for publication: A modular formalization of reversibility for concurrent models and languages

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5216332)