𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Snap-stabilization in message-passing systems

✍ Scribed by Sylvie Delaët; Stéphane Devismes; Mikhail Nesterenko; Sébastien Tixeuil

Book ID
108191969
Publisher
Elsevier Science
Year
2010
Tongue
English
Weight
478 KB
Volume
70
Category
Article
ISSN
0743-7315

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

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

Reasoning about layered message passing
Reasoning about layered message passing systems
✍ B. Meenakshi; R. Ramanujam 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 470 KB

Lamport diagrams are partial orders which depict computations of message passing systems. It is natural to consider generalizations of linear time temporal logics over such diagrams. In Meenakshi and Ramanujam (Proceedings of ICALP 2000. Lecture Notes in Computer Science, Vol. 1853. 2000. p. 487-98.