Bakery Algorithm

Citation: Egon Börger, Yuri Gurevich, and Dean Rosenzweig, "The Bakery Algorithm: Yet Another Specification And Verification", Specification and Validation Methods, ed. E. Börger, Oxford University Press, 1995, 231--243.
Summary: A specification and verification of Leslie Lamport's bakery algorithm.
Subjects: Abstract Algorithms, Distributed Systems, Real-Time Systems, Refinement, Verification
Download: PostScript, PDF, Compressed PostScript