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.
@article{BakkerMO87,
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 = {1987},
tags = {semantics},
researchr = {https://researchr.org/publication/BakkerMO87},
cites = {0},
citedby = {0},
journal = {Theoretical Computer Science},
volume = {49},
pages = {87-112},
}