Infinite Streams and Finite Observations in the Semantics of Uniform Concurrency

J. W. de Bakker, John-Jules Ch. Meyer, Ernst-Rüdiger Olderog. Infinite Streams and Finite Observations in the Semantics of Uniform Concurrency. In Wilfried Brauer, editor, Automata, Languages and Programming, 12th Colloquium, Nafplion, Greece, July 15-19, 1985, Proceedings. Volume 194 of Lecture Notes in Computer Science, pages 149-157, Springer, 1985.

Authors

J. W. de Bakker

This author has not been identified. Look up 'J. W. de Bakker' in Google

John-Jules Ch. Meyer

This author has not been identified. It may be one of the following persons: Look up 'John-Jules Ch. Meyer' in Google

Ernst-Rüdiger Olderog

This author has not been identified. Look up 'Ernst-Rüdiger Olderog' in Google