Napredna pretraga

Pregled bibliografske jedinice broj: 141586

The Bakery Algorithm: yet another specification and verification


Boerger, Egon; Gurevich, Yuri; Rosenzweig, Dean
The Bakery Algorithm: yet another specification and verification // Specification and Validation Methods / Boerger, Egon (ur.).
Oxford: Clarendon Press, 1995.


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č
Clarendon 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


Projekt / tema
0120048

Ustanove
Fakultet strojarstva i brodogradnje, Zagreb

Autor s matičnim brojem:
Dean Rosenzweig, (41536)