A framework of safe stabilization

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2704, Issue , 2003, Pages 129-140

  Ghosh, Sukumar ^a   Bejan, Alina ^a  

^a UNIVERSITY OF IOWA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTERS;

DISTRIBUTED SYSTEMS; SAFETY ISSUES; SAFETY MODELS; SAFETY REQUIREMENTS;

ARTIFICIAL INTELLIGENCE;

EID: 33847143235     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45032-7_10     Document Type: Article

References (17)

1. Alpern B. and Schneider F.B. "Recognizing Safety and Liveness," Distributed Computing 2(3), pp. 117-126, 1987.
2. Anagnostou E. and Hadzilacos, V. "Tolerating Transient and Permanent Failures," Workshop on Distributed Algorithms (WDAG), pp. 174-188, 1993.
3. Brown, G. M., Gouda, M. G. and Wu, C. L. "Token Systems that Self-stabilize," IEEE Transactions on Computers 38(6) 1989.
4. Chandra, T., and Toueg, S. "Unreliable failure Detectors for Reliable Distributed Systems," Journal of the ACM, pp. 374-382, April 1996.
5. Cournier A., Datta A. K., Petit F. and Villain V. "Snap-Stabilizing PIF Algorithm in Arbitrary Networks," ICDCS 2002: 199-208.
6. Dijkstra, E. W. "Self-stabilizing Systems In Spite of Distributed Control," Communications of the ACM 17, pp. 643-644, Nov 1974.
7. Diestel, R. "Graph Theory," Second Edition, Springer 2000.
8. Dolev, S. and Herman, T. "Superstabilizing Protocols for Dynamic Distributed Systems," Chicago Journal of Theoretical Computer Science, 3(4), 1997.
9. Ghosh, S. and Gupta, A., "An Exercise in Fault-containment: Leader Election on a Ring," Information Processing Letters 59, pp. 281-288, 1996.
10. Ghosh, S., Gupta, A., Herman T., and Pemmaraju, S.V. "Fault-containing Self-stabilizing Algorithms," Proceedings of the 15th Annual ACM Symposium on Principles of Distributed Computing, pp. 45-54, 1996.
11. Ghosh, S. and He, X. "Scalable Self-stabilization," J. Parallel and Distributed Computing 62(5), pp. 945-960, 2002.
12. Ghosh, S. and Pemmaraju, S.V. "Trade-offs in Fault-Containing Self-Stabilization," Proceedings of 3rd Workshop on Self-stabilizing Systems (Editors: Ghosh & Herman, Carleton University Press), pp. 157-169, Santa Barbara, August 1997.
13. Kiniwa J. "Avoiding Faulty Privileges in Self-Stabilizing Depth-First Token Passing," ICPADS 2001: 390-397.
14. Kutten, S. and Peleg, D. "Universal Fault-local Mending," Proceedings of the 14th ACM Symposium on Principles of Distributed Computing, pp. 20-29, 1995.
15. Kutten, S. and Patt-Shamir, B. "Time-adaptive Self-stabilization," Proceedings of the 16th ACM Symposium on Principles of Distributed Computing, pp. 149-158, 1997.
16. Lamport L. Shoshtak, R. and Pease, M. "Byzantine Generals Problem," ACM Transactions on Programming Languages and Systems 4(3) pp. 382-401, July 1982.
17. Yen, I.-L. "A Highly Safe Self-stabilizing Mutual Exclusion Algorithm". Information Processing Letters (57), pp.301-305, 1996.