J. W. de Bakker, John-Jules Ch. Meyer, Ernst-Rüdiger Olderog, Jeffery I. Zucker
Transition Systems, Infinitary Languages and the Semantics of Uniform Concurrency
STOC, 1985.
@inproceedings{STOC-1985-BakkerMOZ,
author = "J. W. de Bakker and John-Jules Ch. Meyer and Ernst-Rüdiger Olderog and Jeffery I. Zucker",
booktitle = "{Proceedings of the 17th Annual ACM Symposium on Theory of Computing}",
doi = "10.1145/22145.22174",
pages = "252--262",
publisher = "{ACM}",
title = "{Transition Systems, Infinitary Languages and the Semantics of Uniform Concurrency}",
year = 1985,
}