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
Notes:

[an error occurred while processing this directive]

Abstract State Machines