Proving termination of parallel programs - Apt, Krzysztof R. 1949-; Boer, Frank S. de; Olderog, Ernst-Rüdiger 1955- (Centrum voor Wiskunde en Informatica <Amsterdam>/ Department of Computer Science: Report CS, 1990)