The following pages link to Weak and strong fairness in CCS (Q1822489):
Displaying 17 items.
- Event fairness and non-interleaving concurrency (Q911318) (← links)
- Liveness of a mutex algorithm in a fair process algebra (Q1015393) (← links)
- A fixpoint approach to finite delay and fairness (Q1129259) (← links)
- Strong fairness and ultra metrics (Q1193893) (← links)
- Compiling and verifying SC-SystemJ programs for safety-critical reactive systems (Q1749143) (← links)
- Strong fairness and full abstraction for communicating processes (Q1854396) (← 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)
- Fairness of components in system computations (Q2491632) (← links)
- A type system for lock-free processes (Q2497143) (← links)
- Fairness of actions in system computations (Q2502272) (← links)
- Fairness and communication-based semantics for session-typed languages (Q2672270) (← links)
- Fair Π (Q2866341) (← links)
- Time and Fairness in a Process Algebra with Non-blocking Reading (Q3599073) (← links)
- Divergence and fair testing (Q4645218) (← links)
- (Q5013868) (← links)
- (Q5020946) (← links)
