The following pages link to A reversible semantics for Erlang (Q2409740):
Displayed 7 items.
- A theory of reversibility for Erlang (Q1785852) (← links)
- Algeo: an algebraic approach to reversibility (Q2097422) (← links)
- A core Erlang semantics for declarative debugging (Q2329440) (← links)
- Program equivalence in an untyped, call-by-value functional language with uncurried functions (Q2693299) (← links)
- Causal-Consistent Replay Reversible Semantics for Message Passing Concurrent Programs (Q4989177) (← links)
- Prefix-based tracing in message-passing concurrency (Q6102258) (← links)
- Causal-consistent replay debugging for message passing programs (Q6190186) (← links)