Saba Aflaki, Borzoo Bonakdarpour, Sébastien Tixeuil. Automated Analysis of Impact of Scheduling on Performance of Self-stabilizing Protocols. In Andrzej Pelc, Alexander A. Schwarzmann, editors, Stabilization, Safety, and Security of Distributed Systems - 17th International Symposium, SSS 2015, Edmonton, AB, Canada, August 18-21, 2015, Proceedings. Volume 9212 of Lecture Notes in Computer Science, pages 156-170, Springer, 2015. [doi]
Abstract is missing.