Pages that link to "Item:Q1253914"
From MaRDI portal
The following pages link to A starvation-free solution to the mutual exclusion problem (Q1253914):
Displaying 9 items.
- Starvation-free mutual exclusion with semaphores (Q469360) (← links)
- Queue based mutual exclusion with linearly bounded overtaking (Q532419) (← links)
- Gurevich-Harrington's games defined by finite automata (Q685082) (← links)
- Extension of Gurevich-Harrington's restricted memory determinacy theorem: A criterion for the winning player and an explicit class of winning strategies (Q752703) (← links)
- An approach to automating the verification of compact parallel coordination programs. I (Q1056221) (← links)
- Fair mutual exclusion with unfair P and V operations (Q1076509) (← links)
- Comments on Morris's starvation-free solution to the mutual exclusion problem (Q1081301) (← links)
- An efficient solution to the mutual exclusion problem using weak semaphores (Q1091125) (← links)
- Highly-fair bakery algorithm using symmetric tokens (Q1675821) (← links)
