The following pages link to Concurrency and Reversibility (Q3188912):
Displaying 10 items.
- Reversibility and asymmetric conflict in event structures (Q890616) (← links)
- Concurrencies in reversible concurrent calculi (Q2097423) (← links)
- Towards a categorical representation of reversible event structures (Q2423742) (← links)
- A stable non-interleaving early operational semantics for the pi-calculus (Q2423752) (← links)
- Reversible computation in nets with bonds (Q2667186) (← links)
- Towards Modelling of Local Reversibility (Q2822522) (← links)
- A Calculus for Local Reversibility (Q3186582) (← links)
- Controlling Reversibility in Reversing Petri Nets with Application to Wireless Communications (Q5237227) (← links)
- A Stable Non-interleaving Early Operational Semantics for the Pi-Calculus (Q5738986) (← links)
- The correctness of concurrencies in (reversible) concurrent calculi (Q6151611) (← links)
