Rigorous Performance Evaluation of Self-Stabilization Using Probabilistic Model Checking.

Narges Fallahi, Borzoo Bonakdarpour, Sbastien Tixeuil

Browse the full SRDS paper archive.