Pages that link to "Item:Q1785852"
From MaRDI portal
The following pages link to A theory of reversibility for Erlang (Q1785852):
Displaying 19 items.
- Declarative debugging of concurrent Erlang programs (Q1994356) (← links)
- Reversibility in Erlang: imperative constructs (Q2097430) (← links)
- Controlled reversibility in communicating reaction systems (Q2152435) (← links)
- Computing race variants in message-passing concurrent programming with selective receives (Q2165226) (← links)
- An axiomatic approach to reversible computation (Q2200840) (← 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)
- Causal-Consistent Replay Reversible Semantics for Message Passing Concurrent Programs (Q4989177) (← links)
- Towards Bridging Time and Causal Reversibility (Q5041271) (← links)
- (Q5089300) (← 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)
- Bridging Causal Reversibility and Time Reversibility: A Stochastic Process Algebraic Approach (Q6135754) (← links)
- A model of actors and grey failures (Q6137831) (← links)
- Reversible debugging of concurrent Erlang programs: supporting imperative primitives (Q6197585) (← links)
- Causal reversibility implies time reversibility (Q6546462) (← links)
- Reversibility with holes (work in progress) (Q6637586) (← links)
- A small-step semantics for Janus (Q6637592) (← links)
