Pages that link to "Item:Q766163"
From MaRDI portal
The following pages link to Nonatomic dual bakery algorithm with bounded tokens (Q766163):
Displaying 5 items.
- Logical classification of distributed algorithms (Bakery algorithms as an example) (Q541220) (← links)
- Simple, space-efficient, and fairness improved FCFS mutual exclusion algorithms (Q897371) (← links)
- A queue based mutual exclusion algorithm (Q1006897) (← links)
- Highly-fair bakery algorithm using symmetric tokens (Q1675821) (← links)
- Verifying a simplification of mutual exclusion by Lycklama-Hadzilacos (Q2377304) (← links)