Finite-state self-stabilizing protocols in message-passing systems

Journal of Parallel and Distributed Computing

Volumn 62, Issue 5, 2002, Pages 792-817

  Howell, Rodney R ^a   Nesterenko, Mikhail ^b   Mizuno, Masaaki ^a  

^a Sunflower Networking Group   (United States)

^b KENT STATE UNIVERSITY   (United States)

Author keywords

Computational models; Message passing systems; Self stabilization

Indexed keywords

EID: 0036287055     PISSN: 07437315     EISSN: None     Source Type: Journal    
DOI: 10.1006/jpdc.2001.1825     Document Type: Article

References (9)

1. Self-stabilization of the alternating-bit protocol
2. Self-stabilization by local checking and correction
3. "Concurrency Control and Recovery in Database Systems,"
4. Self-stabilizing systems in spite of distributed control
5. Resource bounds for self-stabilizing message-driven protocols
6. "Elements of Network Protocol Design,"
7. The instability of self-stabilization
8. Stabilizing communication protocols
9. Self-stabilizing extensions for message-passing systems