Quote: a communication protocol is self-stabilizing under nontermination, infinite safe states, and timeouts; fix up sliding window and 2-way handshake
[Gouda and Multari 1991 and Multari 1989] prove that the following three properties are … states (in the form of unbounded local variables) … processes. They show that the standard formulation of …
Google-1Google-2