Pages that link to "Item:Q2097423"
From MaRDI portal
The following pages link to Concurrencies in reversible concurrent calculi (Q2097423):
Displayed 5 items.
- Concurrencies in reversible concurrent calculi (Q2097423) (← links)
- Replications in reversible concurrent calculi (Q6148103) (← links)
- Implementation of a reversible distributed calculus (Q6148123) (← links)
- revTPL: The Reversible Temporal Process Language (Q6151560) (← links)
- The correctness of concurrencies in (reversible) concurrent calculi (Q6151611) (← links)