Pages that link to "Item:Q4989177"
From MaRDI portal
The following pages link to Causal-Consistent Replay Reversible Semantics for Message Passing Concurrent Programs (Q4989177):
Displaying 7 items.
- Towards causal-consistent reversibility of imperative concurrent programs (Q2097433) (← links)
- Computing race variants in message-passing concurrent programming with selective receives (Q2165226) (← links)
- Global Reproducibility Through Local Control for Distributed Active Objects (Q5039528) (← links)
- Causal-Consistent Debugging of Distributed Erlang Programs (Q5162602) (← links)
- Reversible debugging of concurrent Erlang programs: supporting imperative primitives (Q6197585) (← links)
- Causal debugging for concurrent systems (Q6637581) (← links)
- Executable contracts for Elixir (Q6643474) (← links)
