A Transformation of Self-Stabilizing Serial Model Programs for Asynchronous Parallel Computing Environments

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

[1]  Hirotsugu Kakugawa,et al.  Lock-based self-stabilizing distributed mutual exclusion algorithms , 1996, Proceedings of 16th International Conference on Distributed Computing Systems.

[2]  Mohamed G. Gouda,et al.  Stabilizing Communication Protocols , 1991, IEEE Trans. Computers.

[3]  Anish Arora,et al.  Distributed Reset , 1994, IEEE Trans. Computers.

[4]  Edsger W. Dijkstra,et al.  Self-stabilizing systems in spite of distributed control , 1974, CACM.

[5]  Mohamed G. Gouda,et al.  Token Systems that Self-Stabilize , 1989, IEEE Trans. Computers.

[6]  Shlomi Dolev,et al.  Memory Requirements for Silent Stabilization (Extended Abstract). , 1996, PODC 1996.

[7]  Shlomi Dolev,et al.  Memory requirements for silent stabilization , 1996, PODC '96.

[8]  Amos Israeli,et al.  Bounded time-stamps , 1987, 28th Annual Symposium on Foundations of Computer Science (sfcs 1987).

[9]  Mohamed G. Gouda,et al.  The linear alternator , 1997, WSS.

[10]  Amos Israeli,et al.  Self-stabilization of dynamic systems assuming only read/write atomicity , 1990, PODC '90.

[11]  Hirotsugu Kakugawa,et al.  A Timestamp Based Transformation of Self-Stabilizing Programs for Distributed Computing Environments , 1996, WDAG.