Pages that link to "Item:Q1994356"
From MaRDI portal
The following pages link to Declarative debugging of concurrent Erlang programs (Q1994356):
Displaying 5 items.
- Cauder: a causal-consistent reversible debugger for Erlang (Q1648893) (← links)
- Preface to the special issue on open problems in concurrency theory (Q2096427) (← links)
- A core Erlang semantics for declarative debugging (Q2329440) (← links)
- Causal-Consistent Debugging of Distributed Erlang Programs (Q5162602) (← links)
- An algorithmic debugging approach for belief-desire-intention agents (Q6634279) (← links)