The following pages link to (Q4791840):
Displaying 3 items.
- Bisimulation on speed: Worst-case efficiency (Q598200) (← links)
- Measuring the performance of asynchronous systems with PAFAS (Q1781997) (← links)
- CCS: it's not fair! Fair schedulers cannot be implemented in CCS-like languages even under progress and certain fairness assumptions (Q2340255) (← links)