Pretražite po imenu i prezimenu autora, mentora, urednika, prevoditelja

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.


CROSBI ID: 141586 Za ispravke kontaktirajte CROSBI podršku putem web obrasca

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

Ustanove
Fakultet strojarstva i brodogradnje, Zagreb

Profili:

Avatar Url Dean Rosenzweig (autor)

Citiraj ovu publikaciju

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.
Boerger, E., Gurevich, Y. & Rosenzweig, D. (1995) The Bakery Algorithm: yet another specification and verification. U: Boerger, E. (ur.) Specification and Validation Methods. Oxford, Clarendon Press.
@inbook{inbook, editor = {Boerger, E.}, year = {1995}, pages = {459}, keywords = {lower and higher view, Bakery algorithm, evolving algebras}, isbn = {0-19-853854-5}, title = {The Bakery Algorithm: yet another specification and verification}, keyword = {lower and higher view, Bakery algorithm, evolving algebras}, publisher = {Clarendon Press}, publisherplace = {Oxford} }




Contrast
Increase Font
Decrease Font
Dyslexic Font