Infinite Streams and Finite Observations in the Semantics of Uniform Concurrency

• Authors:

• J. W. de Bakker;John-Jules Ch. Meyer;Ernst-Rüdiger Olderog

• Affiliations:

• -;-;-

• Venue:
• Proceedings of the 12th Colloquium on Automata, Languages and Programming
• Year:
• 1985