Browsing Mathematics (Faculty of) by Subject "Self-stabilizing algorithms"
Now showing items 1-1 of 1
-
Performance Evaluation of Self-stabilizing Algorithms by Probabilistic Model Checking
(University of Waterloo, 2014-08-08)A self-stabilizing protocol is one that starting from any arbitrary initial state recovers to legitimate states in a finite number of steps, and once it stabilizes to a set of legitimate states, it remains there unless it ...