Pages that link to "Item:Q1006897"
From MaRDI portal
The following pages link to A queue based mutual exclusion algorithm (Q1006897):
Displaying 4 items.
- 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)
- Verifying a simplification of mutual exclusion by Lycklama-Hadzilacos (Q2377304) (← links)
