The following pages link to (Q3316557):
Displaying 5 items.
- Fair termination revisited - with delay (Q795499) (← links)
- A taxonomy of fairness and temporal logic problems for Petri nets (Q805257) (← links)
- Ten years of Hoare's logic: A survey. II: Nondeterminism (Q1056534) (← links)
- An investigation of controls for concurrent systems based on abstract control languages (Q1060008) (← links)
- Fairness and Correctness in Case of a Premature Abort (Q5450999) (← links)