Jingshu Chen, Fuad Abujarad, Sandeep Kulkarni. Effect of Fairness in Model Checking of Self-stabilizing Programs. In Chenyang Lu, Toshimitsu Masuzawa, Mohamed Mosbah, editors, Principles of Distributed Systems - 14th International Conference, OPODIS 2010, Tozeur, Tunisia, December 14-17, 2010. Proceedings. Volume 6490 of Lecture Notes in Computer Science, pages 135-138, Springer, 2010. [doi]
Abstract is missing.