Causal-consistent reversibility

MaRDI QIDQ4967172zbMATH OpenFDO

Authors Ivan Lanese, Claudio Antares Mezzina, Francesco Tiezzi

Publication date 3 July 2019

Full work available at URL http://bulletin.eatcs.org/index.php/beatcs/article/view/305/287

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)

Recommendations

• Towards bridging time and causal reversibility
• A modular formalization of reversibility for concurrent models and languages
• Concurrency and reversibility
• From reversible semantics to reversible debugging
• Reversing Higher-Order Pi

Cited in

(35)

• A theory of reversibility for Erlang
• From reversible semantics to reversible debugging
• Simulating reversible computation with reaction systems
• Memory associated with membranes systems
• Static versus dynamic reversibility in CCS
• Reversible effects as inverse arrows
• Controlled reversibility in communicating reaction systems
• An axiomatic approach to reversible computation
• Specifying reversibility with \(\mathrm{TLA}^+\)
• Towards a categorical representation of reversible event structures
• Quantitative Analysis of Concurrent Reversible Computations
• Reversing parallel programs with blocks and procedures
• scientific article; zbMATH DE number 3921002 (Why is no real title available?)
• scientific article; zbMATH DE number 1354104 (Why is no real title available?)
• Reversible session-based pi-calculus
• Causal-consistent replay reversible semantics for message passing concurrent programs
• Reversing imperative parallel programs
• scientific article; zbMATH DE number 7471661 (Why is no real title available?)
• Towards bridging time and causal reversibility
• Reversify any sequential algorithm
• scientific article; zbMATH DE number 7559489 (Why is no real title available?)
• Reversing place transition nets
• Causal-consistent rollback in a tuple-based language
• Causal-Consistent Debugging of Distributed Erlang Programs
• A modular formalization of reversibility for concurrent models and languages
• Reversible Imperative Parallel Programs and Debugging
• Reversible term rewriting
• scientific article; zbMATH DE number 5879463 (Why is no real title available?)
• Event structure semantics of (controlled) reversible CCS
• Bridging Causal Reversibility and Time Reversibility: A Stochastic Process Algebraic Approach
• Towards a taxonomy for reversible computation approaches
• revTPL: The Reversible Temporal Process Language
• Causal reversibility for timed process calculi with lazy/eager durationless actions and time additivity
• Causal reversibility implies time reversibility
• Realizable causal-consistent reversible choreographies for systems with first-in-first-out communication channels

This page was built for publication: Causal-consistent reversibility

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