Naslov
The Bakery Algorithm: yet another specification and verification

Autori
Boerger, Egon ; Gurevich, Yuri ; Rosenzweig, Dean

Vrsta, podvrsta i kategorija rada
Poglavlja u knjigama, znanstveni

Knjiga
Specification and Validation Methods

Urednik/ci
Boerger, Egon

Izdavač
Oxford University Press

Grad
Oxford

Godina
1995

Raspon stranica

ISBN
0-19-853854-5

Ključne riječi
lower and higher view, Bakery algorithm, evolving algebras

Sažetak
In a meeting at Schloss Dagstuhl in June 1993, Uri Abraham and Menachem Magidor have challenged the thesis that an evolving algebra can be tailored to any algorithm at its own abstraction level. As an example they gave an instructive proof which uses lower and higher view to show correctness of Lamport's Bakery Algorithm. We construct two evolving algebras capturing lower and higher view respectively, enabling a simple and concise proof of correctness for the Bakery Algorithm

Izvorni jezik
Engleski

Znanstvena područja
Matematika

POVEZANOST RADA