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. In Proceedings of the Seventeenth Annual ACM Symposium on Theory of Computing, 6-8 May 1985, Providence, Rhode Island, USA. pages 252-262, ACM, 1985.
Abstract is missing.