Pages that link to "Item:Q2502272"
From MaRDI portal
The following pages link to Fairness of actions in system computations (Q2502272):
Displaying 6 items.
- Liveness of a mutex algorithm in a fair process algebra (Q1015393) (← links)
- Ensuring liveness properties of distributed systems: open problems (Q2011206) (← links)
- CCS: it's not fair! Fair schedulers cannot be implemented in CCS-like languages even under progress and certain fairness assumptions (Q2340255) (← links)
- Keep it fair: equivalence and composition (Q2423741) (← links)
- Time and Fairness in a Process Algebra with Non-blocking Reading (Q3599073) (← links)
- Modelling mutual exclusion in a process algebra with time-outs (Q6053409) (← links)
