Pages that link to "Item:Q516034"
From MaRDI portal
The following pages link to Causal-consistent rollback in a tuple-based language (Q516034):
Displaying 13 items.
- Memory associated with membranes systems (Q1983012) (← links)
- Static versus dynamic reversibility in CCS (Q2022303) (← links)
- Reversibility in Erlang: imperative constructs (Q2097430) (← links)
- Controlled reversibility in communicating reaction systems (Q2152435) (← links)
- An axiomatic approach to reversible computation (Q2200840) (← links)
- Applying Reversibility Theory for the Performance Evaluation of Reversible Computations (Q4571082) (← links)
- Causal-Consistent Replay Reversible Semantics for Message Passing Concurrent Programs (Q4989177) (← links)
- (Q5089300) (← links)
- Concurrent Reversible Sessions (Q5111644) (← links)
- (Q5129948) (← links)
- Event structure semantics of (controlled) reversible CCS (Q5918352) (← links)
- revTPL: The Reversible Temporal Process Language (Q6151560) (← links)
- Reversible debugging of concurrent Erlang programs: supporting imperative primitives (Q6197585) (← links)
