Causal debugging for concurrent systems

DOI10.1007/978-3-031-62076-8_1MaRDI QIDQ6637581

Ivan Lanese, Gregor Gössler

Publication date: 13 November 2024

Mathematics Subject Classification ID

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

Cites Work

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

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