J. W. de Bakker, John-Jules Ch. Meyer, Ernst-RĂ¼diger Olderog. Infinite Streams and Finite Observations in the Semantics of Uniform Concurrency. Theoretical Computer Science, 49:87-112, 1987.
No references recorded for this publication.
No citations of this publication recorded.