Transition systems, infinitary languages and the semantics of uniform concurrency Conferences

Overview
Identity
Additional Document Info
View All

authors

de Bakker, JW
Meyer, JJ
Olderog, ER
Zucker, Jeffery

status

published

publication date

1985

published in

Conference Proceedings of the Annual ACM Symposium on Theory of Computing Journal

presented at event

the seventeenth annual ACM symposium Conference