Pages that link to "Item:Q793508"
From MaRDI portal
The following pages link to A fair calculus of communicating systems (Q793508):
Displayed 10 items.
- Modal logics for communicating systems (Q578896) (← links)
- About fair asynchrony (Q1085603) (← links)
- On the consistency of Koomen's fair abstraction rule (Q1090103) (← links)
- An introduction to the regular theory of fairness (Q1102102) (← links)
- A fixpoint approach to finite delay and fairness (Q1129259) (← 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)
- Fairness of components in system computations (Q2491632) (← links)
- Fair Π (Q2866341) (← links)