Browsing Mathematics (Faculty of) by Author "Aflaki, Saba"
Now showing items 1-1 of 1
-
Automated Analysis and Optimization of Distributed Self-Stabilizing Algorithms
Aflaki, Saba (University of Waterloo, 2015-08-26)Self-stabilization [2] 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 ...