scientific article; zbMATH DE number 868108

zbMATH Open0844.68080MaRDI QIDQ4873992FDOQ4873992

Authors Egon Börger, Dean Rosenzweig, Yuri Gurevich

Publication date 18 August 1996

zbMATH Keywords

evolving algebrabakery algorithm

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Parallel algorithms in computer science (68W10)

Recommendations

• Correctness and concurrent complexity of the black-white bakery algorithm
• scientific article; zbMATH DE number 868110
• scientific article; zbMATH DE number 2080925
• Nonatomic dual bakery algorithm with bounded tokens

Cited in

(8)

• Logical classification of distributed algorithms (Bakery algorithms as an example)
• Correctness and concurrent complexity of the black-white bakery algorithm
• Towards an automatic proof of the bakery algorithm
• Proving properties of the Chord protocol using the ASM formalism
• Mutual exclusion as a matter of priority
• Self-stabilizing timestamps
• Under the hood of the bakery algorithm: mutual exclusion as a matter of priority
• Moded and continuous abstract state machines

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 Q4873992)