"The Termination of Synchronous Parallel Algorithms for Iterative Systems."

Thomas J. Curnock, John Ashworth (1997)
a service of Schloss Dagstuhl - Leibniz Center for Informatics