A transformation of self-stabilizing serial model programs for asynchronous parallel computing environments

Information Processing Letters

Volumn 66, Issue 6, 1998, Pages 285-290

  Mizuno, Masaaki ^a   Nesterenko, Mikhail ^a  

^a Sunflower Networking Group   (United States)

Author keywords

Concurrency; Fault tolerance; Parallel algorithms; Self stabilization

Indexed keywords

EID: 0002871770     PISSN: 00200190     EISSN: None     Source Type: Journal    
DOI: 10.1016/s0020-0190(98)00069-6     Document Type: Article

References (12)

1. A. Arora, MG. Gouda, Distributed reset, IEEE Trans. Comput. 43 (1994) 1026-1038.
2. P.A. Bernstein, V. Hadzilacos, N. Goodman, Concurrency Control and Recovery in Database Systems, Addison-Wesley, 1987.
3. G.M. Brown, M.G. Gouda, C.L. Wu, Token systems that self-stabilize, IEEE Trans. Comput. 38 (1989) 845-852.
4. J.E. Burns, Self-stabilizing rings without daemons, Technical Report GIT-ICS-87/36, Georgia Tech, 1989.
5. E.W. Dijkstra, Self-stabilizing systems in spite of distributed control, Comm. ACM 17 (11) (1974) 643-644.
6. S. Dolev, M.G. Gouda, M. Schneider, Memory requirements for silent stabilization, in: Proc. 15th Annual ACM Symposium on Principles of Distributed Computing (PODC-96), 1996, pp. 27-34.
7. S. Dolev, A. Israeli, S. Moran, Self-stabilization of dynamic systems assuming only read/write atomicity, Distrib. Comput. 7 (1993) 3-16.
8. M. Gouda, F. Haddix, The linear alternator, in: Proc. 3rd Workshop on Self-Stabilization (WSS-97), 1997, pp. 31-47.
9. M.G. Gouda, M.J. Multari, Stabilizing communication protocols, IEEE Trans. Comput. 40 (4) (1991) 448-458.
10. A. Israeli, M. Li, Bounded time-stamps, in: Proc. 28th IEEE Symposium on Foundations of Computer Science, 1987, pp. 371-382.
11. M. Mizuno, H. Kakugawa, A transformation of self-stabilizing programs for distributed computing environments, in: Workshop on Distributed Algorithms (WDAG-96), Lecture Notes in Comput. Sci., Vol. 1151, Springer, 1996, pp. 304-321.
12. M. Mizuno, M. Nesterenko, H. Kakugawa, Lock based self-stabilizing distributed mutual exclusion algorithms, in: Proc. International Conference of Distributed Computing Systems (ICDCS '96), 1996, pp. 708-716.