Causal-Consistent Debugging of Distributed Erlang Programs

DOI10.1007/978-3-030-79837-6_5OpenAlexW3176236199MaRDI QIDQ5162602

Giovanni Fabbretti, Ivan Lanese, Jean-Bernard Stefani

Publication date: 3 November 2021

Published in: Reversible Computation (Search for Journal in Brave)

Full work available at URL: https://hal.inria.fr/hal-03338670/file/paper-rc2021.pdf

zbMATH Keywords

debuggingreversible computingdistributed computationactor model

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Quantum computation (81P68) Other nonclassical models of computation (68Q09)

Related Items (4)

The reversible temporal process language ⋮ revTPL: The Reversible Temporal Process Language ⋮ Reversible debugging of concurrent Erlang programs: supporting imperative primitives ⋮ Reversibility in Erlang: imperative constructs

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Cauder: a causal-consistent reversible debugger for Erlang
• A theory of reversibility for Erlang
• Declarative debugging of concurrent Erlang programs
• Controlling Reversibility in Higher-Order Pi
• Irreversibility and Heat Generation in the Computing Process
• Causal-Consistent Replay Reversible Semantics for Message Passing Concurrent Programs
• Reversible Imperative Parallel Programs and Debugging
• CONCUR 2004 - Concurrency Theory

This page was built for publication: Causal-Consistent Debugging of Distributed Erlang Programs