Xin An, Jun Pang. Model Checking Round-Based Distributed Algorithms. In Radu Calinescu, Richard F. Paige, Marta Z. Kwiatkowska, editors, 15th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2010, Oxford, United Kingdom, 22-26 March 2010. pages 127-135, IEEE Computer Society, 2010. [doi]
Abstract is missing.