Now showing items 1-1 of 1
Automated Analysis and Optimization of Distributed Self-Stabilizing Algorithms
(University of Waterloo, 2015-08-26)
Self-stabilization  is a versatile technique for recovery from erroneous behavior due to transient faults or wrong initialization. A system is self-stabilizing if (1) starting from an arbitrary initial state it can ...