Pages that link to "Item:Q2097430"
From MaRDI portal
The following pages link to Reversibility in Erlang: imperative constructs (Q2097430):
Displaying 4 items.
- A theory of reversibility for Erlang (Q1785852) (← links)
- revTPL: The Reversible Temporal Process Language (Q6151560) (← links)
- Reversible debugging of concurrent Erlang programs: supporting imperative primitives (Q6197585) (← links)
- Causal reversibility implies time reversibility (Q6546462) (← links)