DocumentCode
2279048
Title
Classes of self-stabilizing protocols
Author
Beauquier, Joffroy ; Delaët, Sylvie
Author_Institution
L.R.I. CNRS, Paris Univ., Orsay, France
fYear
1993
fDate
22-24 Sep 1993
Firstpage
361
Lastpage
365
Abstract
Self-stabilization is an abstraction of fault tolerance for transient malfunctions. Intuitively, a self-stabilizing system is a system which can be started from any possible state. The authors here explore the possibility of transforming an arbitrary distributed protocol into a self-stabilizing one. It is proved that some conditions are sufficient for this transformation to be feasible. These conditions lead to a classification of distributed protocols according to the complexity for performing their transformation
Keywords
computational complexity; performance evaluation; protocols; arbitrary distributed protocol; complexity; distributed protocols; fault tolerance; performance evaluation; self-stabilizing protocols; transient malfunctions; Automatic testing; Communication channels; Counting circuits; Electronic mail; Fault tolerance; Message passing; Performance evaluation; Protocols; Sufficient conditions;
fLanguage
English
Publisher
ieee
Conference_Titel
Distributed Computing Systems, 1993., Proceedings of the Fourth Workshop on Future Trends of
Conference_Location
Lisbon
Print_ISBN
0-8186-4430-3
Type
conf
DOI
10.1109/FTDCS.1993.344201
Filename
344201
Link To Document