"Parameterized Model Checking of Ring-Based Message Passing Systems."

E. Allen Emerson, Vineet Kahlon (2004)
a service of Schloss Dagstuhl - Leibniz Center for Informatics