scientific article; zbMATH DE number 868108

zbMATH Open0844.68080MaRDI QIDQ4873992FDOQ4873992

Authors: Egon Börger, Dean Rosenzweig, Yuri Gurevich 

Publication date: 18 August 1996

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

evolving algebrabakery algorithm

Mathematics Subject Classification ID

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

Cited In (7)

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

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)