Pages that link to "Item:Q1006897"
From MaRDI portal
The following pages link to A queue based mutual exclusion algorithm (Q1006897):
Displaying 10 items.
- Starvation-free mutual exclusion with semaphores (Q469360) (← links)
- Queue based mutual exclusion with linearly bounded overtaking (Q532419) (← links)
- Simulation refinement for concurrency verification (Q541209) (← links)
- Nonatomic dual bakery algorithm with bounded tokens (Q766163) (← links)
- Mutual exclusion scheduling (Q1365931) (← links)
- Peterson's mutual exclusion algorithm revisited (Q1370158) (← links)
- Mutual exclusion as a matter of priority (Q1625608) (← links)
- Tournaments for mutual exclusion: verification and concurrent complexity (Q1682286) (← links)
- On the correctness of Goscinski's algorithm (Q1898231) (← links)
- Verifying a simplification of mutual exclusion by Lycklama-Hadzilacos (Q2377304) (← links)