scientific article; zbMATH DE number 868108

MaRDI QIDQ4873992zbMATH OpenFDO

Authors Egon Börger, Dean Rosenzweig, Yuri Gurevich

Publication date 18 August 1996

zbMATH Keywords

bakery algorithmevolving algebra

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

(9)

• Mutual exclusion as a matter of priority
• Proving properties of the Chord protocol using the ASM formalism
• Self-stabilizing timestamps
• Moded and continuous abstract state machines
• Under the hood of the bakery algorithm: mutual exclusion as a matter of priority
• scientific article; zbMATH DE number 868110 (Why is no real title available?)
• Logical classification of distributed algorithms (Bakery algorithms as an example)
• Towards an automatic proof of the bakery algorithm
• Correctness and concurrent complexity of the black-white bakery algorithm

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)