Infinite Streams and Finite Observations in the Semantics of Uniform Concurrency.

J. W. de Bakker, John-Jules Ch. Meyer, Ernst-Rdiger Olderog

Browse the full ICALP paper archive.