An exercise in proving self-stabilization with a variant function
- 15 September 1988
- journal article
- Published by Elsevier in Information Processing Letters
- Vol. 29 (1) , 39-42
- https://doi.org/10.1016/0020-0190(88)90131-7
Abstract
No abstract availableKeywords
This publication has 2 references indexed in Scilit:
- A belated proof of self-stabilizationDistributed Computing, 1986
- Self-stabilizing systems in spite of distributed controlCommunications of the ACM, 1974