Causal-Consistent Replay Reversible Semantics for Message Passing Concurrent Programs
From MaRDI portal
Publication:4989177
DOI10.3233/FI-2021-2005zbMath1482.68131OpenAlexW3124949564MaRDI QIDQ4989177
Adrián Palacios, Germán Vidal, Ivan Lanese
Publication date: 21 May 2021
Published in: Fundamenta Informaticae (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.3233/fi-2021-2005
Semantics in the theory of computing (68Q55) 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 (8)
Global Reproducibility Through Local Control for Distributed Active Objects ⋮ Computing race variants in message-passing concurrent programming with selective receives ⋮ Prefix-based tracing in message-passing concurrency ⋮ Towards a taxonomy for reversible computation approaches ⋮ Causal-consistent replay debugging for message passing programs ⋮ Reversible debugging of concurrent Erlang programs: supporting imperative primitives ⋮ Causal-Consistent Debugging of Distributed Erlang Programs ⋮ Towards causal-consistent reversibility of imperative concurrent programs
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Causal-consistent rollback in a tuple-based language
- Cauder: a causal-consistent reversible debugger for Erlang
- A theory of reversibility for Erlang
- A reversible semantics for Erlang
- Controlling Reversibility in Higher-Order Pi
- Irreversibility and Heat Generation in the Computing Process
- Time, clocks, and the ordering of events in a distributed system
- Causally Consistent Dynamic Slicing
- Bidirectionalization transformation based on automatic derivation of view complement functions
- CONCUR 2004 - Concurrency Theory
- Reversible Term Rewriting
This page was built for publication: Causal-Consistent Replay Reversible Semantics for Message Passing Concurrent Programs
