Pages that link to "Item:Q2822522"
From MaRDI portal
The following pages link to Towards Modelling of Local Reversibility (Q2822522):
Displaying 7 items.
- Causal-consistent rollback in a tuple-based language (Q516034) (← links)
- Static versus dynamic reversibility in CCS (Q2022303) (← links)
- A Calculus for Local Reversibility (Q3186582) (← links)
- Static VS Dynamic Reversibility in CCS (Q3186583) (← links)
- (Q3756602) (← links)
- (Q4270048) (← links)
- Reversibility and the structure of the local state space (Q5144318) (← links)