Causal-Consistent Debugging of Distributed Erlang Programs

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

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)

Cites Work

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

Cited In (7)

• Declarative debugging of concurrent Erlang programs
• revTPL: The Reversible Temporal Process Language
• Reversible debugging of concurrent Erlang programs: supporting imperative primitives
• Reversibility in Erlang: imperative constructs
• Causal debugging for concurrent systems
• Debugging distributed programs using controlled re-execution
• The reversible temporal process language

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

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