The Bakery Algorithm: yet another specification and verification (CROSBI ID 28964)
Prilog u knjizi | izvorni znanstveni rad
Podaci o odgovornosti
Boerger, Egon ; Gurevich, Yuri ; Rosenzweig, Dean
engleski
The Bakery Algorithm: yet another specification and verification
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
lower and higher view, Bakery algorithm, evolving algebras
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
Podaci o prilogu
459-x.
objavljeno
Podaci o knjizi
Boerger, Egon
Oxford: Oxford University Press
1995.
0-19-853854-5