Jiayi Gu, Yu Zhou, Weigang Wu, Taolue Chen. Analyzing Eventual Leader Election Protocols for Dynamic Systems by Probabilistic Model Checking. In Zhiqiu Huang, Xingming Sun, Junzhou Luo, Jian Wang, editors, Cloud Computing and Security - First International Conference, ICCCS 2015, Nanjing, China, August 13-15, 2015. Revised Selected Papers. Volume 9483 of Lecture Notes in Computer Science, pages 192-205, Springer, 2015. [doi]
Abstract is missing.