Pages that link to "Item:Q1648893"

The following pages link to Cauder: a causal-consistent reversible debugger for Erlang (Q1648893):

Displaying 29 items.

• Realizable causal-consistent reversible choreographies for systems with first-in-first-out communication channels (Q780055) (← links)
• A theory of reversibility for Erlang (Q1785852) (← links)
• Static versus dynamic reversibility in CCS (Q2022303) (← 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)
• 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)
• (Q5089300) (← links)
• (Q5129948) (← links)
• Causal-Consistent Debugging of Distributed Erlang Programs (Q5162602) (← links)
• Forward-Reverse Observational Equivalences in CCSK (Q5162606) (← links)
• Reversible Imperative Parallel Programs and Debugging (Q5237216) (← links)
• Event structure semantics of (controlled) reversible CCS (Q5918352) (← links)
• Bridging Causal Reversibility and Time Reversibility: A Stochastic Process Algebraic Approach (Q6135754) (← links)
• revTPL: The Reversible Temporal Process Language (Q6151560) (← links)
• Reversible debugging of concurrent Erlang programs: supporting imperative primitives (Q6197585) (← links)
• Branching bisimulation semantics enables noninterference analysis of reversible systems (Q6535463) (← links)
• Relating reversible Petri nets and reversible event structures, categorically (Q6535471) (← links)
• Causal reversibility for timed process calculi with lazy/eager durationless actions and time additivity (Q6536425) (← links)
• Causal reversibility implies time reversibility (Q6546462) (← links)
• Causal debugging for concurrent systems (Q6637581) (← links)
• Jeopardy: an invertible functional programming language (Q6637593) (← links)