CauDEr

swMATH39403MaRDI QIDQ55103

No author found.

Source code repository: https://github.com/mistupv/cauder

Related Items (20)

Global Reproducibility Through Local Control for Distributed Active Objects ⋮ Towards Bridging Time and Causal Reversibility ⋮ Cauder: a causal-consistent reversible debugger for Erlang ⋮ Computing race variants in message-passing concurrent programming with selective receives ⋮ Program equivalence in an untyped, call-by-value functional language with uncurried functions ⋮ Reversible computing from a programming language perspective ⋮ A parametric framework for reversible \(\pi\)-calculi ⋮ Static versus dynamic reversibility in CCS ⋮ A theory of reversibility for Erlang ⋮ Event structure semantics of (controlled) reversible CCS ⋮ ReverCSP: time-travelling in CSP computations ⋮ Unnamed Item ⋮ Causal-Consistent Replay Reversible Semantics for Message Passing Concurrent Programs ⋮ Reversible Imperative Parallel Programs and Debugging ⋮ Realizable causal-consistent reversible choreographies for systems with first-in-first-out communication channels ⋮ A core Erlang semantics for declarative debugging ⋮ Algeo: an algebraic approach to reversibility ⋮ Reversibility in Erlang: imperative constructs ⋮ A reversible debugger for imperative parallel programs with contracts ⋮ Towards causal-consistent reversibility of imperative concurrent programs

This page was built for software: CauDEr