Rigorous Performance Evaluation of Self-Stabilization Using Probabilistic Model Checking. - Narges Fallahi; Borzoo Bonakdarpour; Sébastien Tixeuil (SRDS, 2013)

How Good is Weak-Stabilization? - Narges Fallahi; Borzoo Bonakdarpour (SSS, 2013)