Causal-consistent rollback in a tuple-based language

DOI10.1016/j.jlamp.2016.09.003zbMath1362.68213OpenAlexW2522926198MaRDI QIDQ516034

Ivan Lanese, Elena Giachino, Claudio Antares Mezzina, Francesco Tiezzi

Publication date: 20 March 2017

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL: http://eprints.imtlucca.it/3661/1/main.pdf

zbMATH Keywords

process algebrareversible computationKlaimtuple space

Mathematics Subject Classification ID

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

Related Items (14)

Controlled reversibility in communicating reaction systems ⋮ Applying Reversibility Theory for the Performance Evaluation of Reversible Computations ⋮ revTPL: The Reversible Temporal Process Language ⋮ Causal-consistent replay debugging for message passing programs ⋮ Reversible debugging of concurrent Erlang programs: supporting imperative primitives ⋮ An axiomatic approach to reversible computation ⋮ Memory associated with membranes systems ⋮ Static versus dynamic reversibility in CCS ⋮ Unnamed Item ⋮ Event structure semantics of (controlled) reversible CCS ⋮ Unnamed Item ⋮ Causal-Consistent Replay Reversible Semantics for Message Passing Concurrent Programs ⋮ Concurrent Reversible Sessions ⋮ Reversibility in Erlang: imperative constructs

Uses Software

• Klava
• KLAIM
• Linda
• Transactors

Cites Work

• Unnamed Item
• Unnamed Item
• Reversibility in the higher-order \(\pi\)-calculus
• Reversible, irreversible and optimal \(\lambda\)-machines
• Abstractions for fault-tolerant global computing
• Reversing algebraic process calculi
• Towards Modelling of Local Reversibility
• Controlling Reversibility in Higher-Order Pi
• On the Statistical Thermodynamics of Reversible Communicating Processes
• A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway
• Lightweight checkpointing for concurrent ML
• Reversing Higher-Order Pi
• A formal approach to undo operations in programming languages
• Klava: a Java package for distributed and mobile applications
• Generative communication in Linda
• A Compositional Semantics for the Reversible p-Calculus
• Transactors
• CONCUR 2004 - Concurrency Theory
• Concurrent Flexible Reversibility
• Global Computing. Programming Environments, Languages, Security, and Analysis of Systems
• CONCUR 2005 – Concurrency Theory

This page was built for publication: Causal-consistent rollback in a tuple-based language