Conference
Transition systems, infinitary languages and the semantics of uniform concurrency
Authors
de Bakker JW; Meyer JJ; Olderog ER; Zucker JI
Pagination
pp. 252-262
Publisher
Association for Computing Machinery (ACM)
Publication Date
January 1, 1985
DOI
10.1145/22145.22174
Name of conference
Proceedings of the seventeenth annual ACM symposium on Theory of computing - STOC '85