Infinite streams and finite observations in the semantics of uniform concurrency - Bakker, Jacobus W. de 1939-2012; Meyer, John-Jules Ch. 1954-; Olderog, Ernst-Rüdiger 1955- (1985)