The following pages link to CauDEr (Q55103):
Displaying 20 items.
- Realizable causal-consistent reversible choreographies for systems with first-in-first-out communication channels (Q780055) (← links)
- Cauder: a causal-consistent reversible debugger for Erlang (Q1648893) (← links)
- A theory of reversibility for Erlang (Q1785852) (← links)
- Static versus dynamic reversibility in CCS (Q2022303) (← links)
- ReverCSP: time-travelling in CSP computations (Q2039907) (← links)
- Algeo: an algebraic approach to reversibility (Q2097422) (← links)
- Reversibility in Erlang: imperative constructs (Q2097430) (← links)
- A reversible debugger for imperative parallel programs with contracts (Q2097431) (← links)
- Towards causal-consistent reversibility of imperative concurrent programs (Q2097433) (← links)
- Computing race variants in message-passing concurrent programming with selective receives (Q2165226) (← links)
- A parametric framework for reversible \(\pi\)-calculi (Q2216133) (← 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)
- Reversible computing from a programming language perspective (Q2693633) (← links)
- Causal-Consistent Replay Reversible Semantics for Message Passing Concurrent Programs (Q4989177) (← links)
- Global Reproducibility Through Local Control for Distributed Active Objects (Q5039528) (← links)
- Towards Bridging Time and Causal Reversibility (Q5041271) (← links)
- (Q5129948) (← links)
- Reversible Imperative Parallel Programs and Debugging (Q5237216) (← links)
- Event structure semantics of (controlled) reversible CCS (Q5918352) (← links)
