𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Unifying stabilization and termination in message-passing systems

✍ Scribed by Anish Arora; Mikhail Nesterenko

Book ID
106146223
Publisher
Springer-Verlag
Year
2005
Tongue
English
Weight
223 KB
Volume
17
Category
Article
ISSN
0178-2770

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Snap-stabilization in message-passing sy
Snap-stabilization in message-passing systems
✍ Sylvie DelaΓ«t; StΓ©phane Devismes; Mikhail Nesterenko; SΓ©bastien Tixeuil πŸ“‚ Article πŸ“… 2010 πŸ› Elsevier Science 🌐 English βš– 478 KB
Finite-State Self-Stabilizing Protocols
Finite-State Self-Stabilizing Protocols in Message-Passing Systems
✍ Rodney R. Howell; Mikhail Nesterenko; Masaaki Mizuno πŸ“‚ Article πŸ“… 2002 πŸ› Elsevier Science 🌐 English βš– 285 KB

We define a finite-state message-passing model using guarded commands. This model is particularly appropriate for defining and reasoning about selfstabilizing protocols, due to the well-known result that self-stabilizing protocols on unbounded-channel models must have infinitely many legitimate stat

Efficient and Robust Sharing of Memory i
Efficient and Robust Sharing of Memory in Message-Passing Systems
✍ Hagit Attiya πŸ“‚ Article πŸ“… 2000 πŸ› Elsevier Science 🌐 English βš– 154 KB

A simulation of a wait-free, atomic, single-writer multireader register in an asynchronous message passing system is presented. The simulation can withstand Ε½ . Ε½ the failure of up to half of the processors and requires O n messages for each . read or write operation , assuming there are n q 1 proce