Logical classification of distributed algorithms (Bakery algorithms as an example)

Uri Abraham. Logical classification of distributed algorithms (Bakery algorithms as an example). Theoretical Computer Science, 412(25):2724-2745, 2011. [doi]

Abstract

Abstract is missing.