Causal debugging for concurrent systems

DOI10.1007/978-3-031-62076-8_1MaRDI QIDQ6637581zbMATH OpenFDO

Authors Ivan Lanese, Gregor Gössler

Publication date 13 November 2024

Full work available at URL https://doi.org/10.1007/978-3-031-62076-8_1

Mathematics Subject Classification ID

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

Cites work

• Cauder: a causal-consistent reversible debugger for Erlang
• Causal-Consistent Debugging of Distributed Erlang Programs
• Causal-consistent replay reversible semantics for message passing concurrent programs
• Causality analysis and fault ascription in component-based systems
• CONCUR 2004 - Concurrency Theory
• Controlling Reversibility in Higher-Order Pi
• Reversible debugging of concurrent Erlang programs: supporting imperative primitives
• Time, clocks, and the ordering of events in a distributed system

This page was built for publication: Causal debugging for concurrent systems

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