Pages that link to "Item:Q2200840"
From MaRDI portal
The following pages link to An axiomatic approach to reversible computation (Q2200840):
Displaying 16 items.
- Concurrencies in reversible concurrent calculi (Q2097423) (← links)
- Reversibility in Erlang: imperative constructs (Q2097430) (← links)
- Towards causal-consistent reversibility of imperative concurrent programs (Q2097433) (← links)
- Modelling of DNA mismatch repair with a reversible process calculus (Q2148904) (← links)
- Controlled reversibility in communicating reaction systems (Q2152435) (← links)
- The reversible temporal process language (Q2165209) (← links)
- An axiomatic approach to reversible computation (Q2200840) (← links)
- A collective interpretation semantics for reversing Petri nets (Q2672648) (← links)
- (Q5089300) (← links)
- (Q5129948) (← links)
- Explicit Identifiers and Contexts in Reversible Concurrent Calculus (Q5162607) (← links)
- Event structures for the reversible early internal \(\pi\)-calculus (Q5925541) (← links)
- Bridging Causal Reversibility and Time Reversibility: A Stochastic Process Algebraic Approach (Q6135754) (← links)
- revTPL: The Reversible Temporal Process Language (Q6151560) (← links)
- The correctness of concurrencies in (reversible) concurrent calculi (Q6151611) (← links)
- Reversible debugging of concurrent Erlang programs: supporting imperative primitives (Q6197585) (← links)
