The following pages link to Concurrent Flexible Reversibility (Q5326296):
Displaying 5 items.
- Reversibility in the higher-order \(\pi\)-calculus (Q264996) (← links)
- Causal-consistent rollback in a tuple-based language (Q516034) (← links)
- Reversibility and asymmetric conflict in event structures (Q890616) (← links)
- Replication, refinement \& reachability: complexity in dynamic condition-response graphs (Q1671247) (← links)
- Reversibility in session-based concurrency: a fresh look (Q2360649) (← links)
