| 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]
URL:
http://web.eecs.umich.edu/gasm/papers/bakery.html (page only)
last update: Wednesday, 14-Aug-2013 18:19:19 EDT