The Termination of Synchronous Parallel Algorithms for Iterative Systems. - Thomas J. Curnock; John Ashworth (PP, 1997)