Mouna Chaouch-Saad, Bernadette Charron-Bost, Stephan Merz. A Reduction Theorem for the Verification of Round-Based Distributed Algorithms. In Olivier Bournez, Igor Potapov, editors, Reachability Problems, 3rd International Workshop, RP 2009, Palaiseau, France, September 23-25, 2009. Proceedings. Volume 5797 of Lecture Notes in Computer Science, pages 93-106, Springer, 2009. [doi]
Abstract is missing.