Browsing Mathematics (Faculty of) by Author "Fallahi, Narges"
Now showing items 1-1 of 1
-
Performance Evaluation of Self-stabilizing Algorithms by Probabilistic Model Checking
Fallahi, Narges (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 ...