swMATH39403MaRDI QIDQ55103FDOQ55103
Author name not available (Why is that?)
Official website: https://link.springer.com/chapter/10.1007%2F978-3-319-90686-7_16
Source code repository: https://github.com/mistupv/cauder
Cited In (32)
- Algeo
- revTPL
- ReverCSP: time-travelling in CSP computations
- A core Erlang semantics for declarative debugging
- Reversible computing from a programming language perspective
- Static versus dynamic reversibility in CCS
- A parametric framework for reversible \(\pi\)-calculi
- Global reproducibility through local control for distributed active objects
- Title not available (Why is that?)
- A theory of reversibility for Erlang
- Erlang
- Program equivalence in an untyped, call-by-value functional language with uncurried functions
- Rebeca
- Timed Rebeca
- Reversibility in Erlang: imperative constructs
- Theseus
- Transactors
- Syco
- SyReC
- LRinv
- Computing race variants in message-passing concurrent programming with selective receives
- reverCSP
- Event structure semantics of (controlled) reversible CCS
- Realizable causal-consistent reversible choreographies for systems with first-in-first-out communication channels
- ROOPLPPC
- Reversible Imperative Parallel Programs and Debugging
- Cauder: a causal-consistent reversible debugger for Erlang
- Causal-consistent replay reversible semantics for message passing concurrent programs
- A reversible debugger for imperative parallel programs with contracts
- Algeo: an algebraic approach to reversibility
- Towards causal-consistent reversibility of imperative concurrent programs
- Towards bridging time and causal reversibility
This page was built for software: CauDEr
