Pages that link to "Item:Q1796395"
From MaRDI portal
The following pages link to Checkpoint/rollback vs causally-consistent reversibility (Q1796395):
Displaying 11 items.
- Causal-consistent rollback in a tuple-based language (Q516034) (← links)
- On system rollback and totalized fields: an algebraic approach to system change (Q649582) (← links)
- A parametric framework for reversible \(\pi\)-calculi (Q2216133) (← links)
- Towards Bridging Time and Causal Reversibility (Q5041271) (← links)
- (Q5129948) (← links)
- Reversibility and Predictions (Q5162608) (← links)
- Bridging Causal Reversibility and Time Reversibility: A Stochastic Process Algebraic Approach (Q6135754) (← links)
- Branching bisimulation semantics enables noninterference analysis of reversible systems (Q6535463) (← links)
- Causal reversibility for timed process calculi with lazy/eager durationless actions and time additivity (Q6536425) (← links)
- Causal reversibility implies time reversibility (Q6546462) (← links)
- Model checking reversible systems: forwardly (Q6637601) (← links)