For each machine [in a distributed system] one or more so-called … when such a boolean function is true, we … We call the system "self- stabilizing" if and … the next move, at least one privilege will … a finite number of moves. [p. 644 demonstrates three self-stabilizing rings of processors]
Google-1
Google-2
Copyright clearance needed for quotation.