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.
@inproceedings{BakkerMO85,
title = {Infinite Streams and Finite Observations in the Semantics of Uniform Concurrency},
author = {J. W. de Bakker and John-Jules Ch. Meyer and Ernst-Rüdiger Olderog},
year = {1985},
tags = {semantics},
researchr = {https://researchr.org/publication/BakkerMO85},
cites = {0},
citedby = {0},
pages = {149-157},
booktitle = {Automata, Languages and Programming, 12th Colloquium, Nafplion, Greece, July 15-19, 1985, Proceedings},
editor = {Wilfried Brauer},
volume = {194},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-15650-X},
}