Finite-State Self-Stabilizing Protocols
β
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