CauDEr

swMATH39403MaRDI QIDQ55103FDOQ55103

Author name not available (Why is that?)

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

Cited In (20)

• Global Reproducibility Through Local Control for Distributed Active Objects
• 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
• Title not available (Why is that?)
• Causal-Consistent Replay Reversible Semantics for Message Passing Concurrent Programs
• A theory of reversibility for Erlang
• Program equivalence in an untyped, call-by-value functional language with uncurried functions
• Towards Bridging Time and Causal Reversibility
• Reversibility in Erlang: imperative constructs
• Computing race variants in message-passing concurrent programming with selective receives
• Event structure semantics of (controlled) reversible CCS
• Realizable causal-consistent reversible choreographies for systems with first-in-first-out communication channels
• Reversible Imperative Parallel Programs and Debugging
• Cauder: a causal-consistent reversible debugger for Erlang
• A reversible debugger for imperative parallel programs with contracts
• Algeo: an algebraic approach to reversibility
• Towards causal-consistent reversibility of imperative concurrent programs

This page was built for software: CauDEr