The Community for Technology Leaders
14th International Conference on Distributed Computing Systems (1994)
Pozman, Poland
June 21, 1994 to June 24, 1994
ISBN: 0-8186-5840-1
pp: 432-439
Shing-Tsaan Huang , Dept. of Comput. Sci., Nat. Tsing Hua Univ., Hsinchu, Taiwan
Lih-Chyau Wuu , Dept. of Comput. Sci., Nat. Tsing Hua Univ., Hsinchu, Taiwan
Ming-Shin Tsai , Dept. of Comput. Sci., Nat. Tsing Hua Univ., Hsinchu, Taiwan
ABSTRACT
There are several execution models for self-stabilizing systems discussed in the literature. Among them the distributed model is a more realistic one in the sense that it makes the weakest assumption about the execution environment; whereas the serial model is a less realistic one in the sense that it makes the strongest assumption. In this paper we first discuss how to convert a self-stabilizing system operating with the serial model into a system operating with the distributed model, but such a conversion does not guarantee that the converted system is self-stabilizing. Then we propose a transform technique which makes the proof whether or not the converted system is self-stabilizing much easier.<>
INDEX TERMS
protocols, distributed algorithms
CITATION

Shing-Tsaan Huang, Lih-Chyau Wuu and Ming-Shin Tsai, "Distributed execution model for self-stabilizing systems," 14th International Conference on Distributed Computing Systems(ICDCS), Pozman, Poland, 1994, pp. 432-439.
doi:10.1109/ICDCS.1994.302448
85 ms
(Ver 3.3 (11022016))