scientific article; zbMATH DE number 2080925
From MaRDI portal
Publication:4473994
Recommendations
- Under the hood of the bakery algorithm: mutual exclusion as a matter of priority
- scientific article; zbMATH DE number 2089981
- Mutual exclusion as a matter of priority
- The Black-White Bakery Algorithm and Related Bounded-Space, Adaptive, Local-Spinning and FIFO Algorithms
- A mutual exclusion algorithm with optimally bounded bypasses
Cited in
(14)- A mutual exclusion algorithm with optimally bounded bypasses
- Speeding Lamport's fast mutual exclusion algorithm
- Highly-fair bakery algorithm using symmetric tokens
- Group mutual exclusion in linear time and space
- Self-stabilizing timestamps
- Verifying a simplification of mutual exclusion by Lycklama-Hadzilacos
- Under the hood of the bakery algorithm: mutual exclusion as a matter of priority
- scientific article; zbMATH DE number 868108 (Why is no real title available?)
- Logical classification of distributed algorithms (Bakery algorithms as an example)
- The Black-White Bakery Algorithm and Related Bounded-Space, Adaptive, Local-Spinning and FIFO Algorithms
- Towards an automatic proof of the bakery algorithm
- Correctness and concurrent complexity of the black-white bakery algorithm
- Nonatomic dual bakery algorithm with bounded tokens
- Simple, space-efficient, and fairness improved FCFS mutual exclusion algorithms
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4473994)