𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Predicate transfer and timeout in message passing systems

✍ Scribed by A.J. Bernstein

Book ID
113163122
Publisher
Elsevier Science
Year
1987
Tongue
English
Weight
751 KB
Volume
24
Category
Article
ISSN
0020-0190

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

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