Pages that link to "Item:Q672053"
From MaRDI portal
The following pages link to Models for concurrency: Towards a classification (Q672053):
Displaying 4 items.
- The correctness of concurrencies in (reversible) concurrent calculi (Q6151611) (← links)
- Causal reversibility implies time reversibility (Q6546462) (← links)
- The mays and musts of concurrent strategies (Q6612785) (← links)
- Processes, systems \& tests: defining contextual equivalences (Q6649539) (← links)