scientific article; zbMATH DE number 868108

zbMath0844.68080MaRDI QIDQ4873992

Dean Rosenzweig, Egon Börger, Yuri Gurevich

Publication date: 18 August 1996

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

evolving algebrabakery algorithm

Mathematics Subject Classification ID

Parallel algorithms in computer science (68W10) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (6)

Mutual exclusion as a matter of priority ⋮ Self-stabilizing timestamps ⋮ Under the Hood of the Bakery Algorithm: Mutual Exclusion as a Matter of Priority ⋮ Proving properties of the Chord protocol using the ASM formalism ⋮ Logical classification of distributed algorithms (Bakery algorithms as an example) ⋮ Moded and continuous abstract state machines

This page was built for publication: