The following pages link to (Q4261095):
Displaying 4 items.
- Some impossibility results in interprocess synchronization (Q1261111) (← links)
- Weak and strong fairness in CCS (Q1822489) (← links)
- Strong fairness and full abstraction for communicating processes (Q1854396) (← links)
- CCS: it's not fair! Fair schedulers cannot be implemented in CCS-like languages even under progress and certain fairness assumptions (Q2340255) (← links)