The following pages link to (Q5191331):
Displaying 7 items.
- Erlang (Q19254) (← links)
- Synthesising correct concurrent runtime monitors (Q888412) (← links)
- Model-based fault injection for testing gray-box systems (Q1734510) (← links)
- A theory of monitors (Q2051767) (← links)
- PerformERL: a performance testing framework for Erlang (Q2084981) (← links)
- Causal-Consistent Replay Reversible Semantics for Message Passing Concurrent Programs (Q4989177) (← links)
- Causal-Consistent Debugging of Distributed Erlang Programs (Q5162602) (← links)
