Transition Systems, Infinitary Languages and the Semantics of Uniform Concurrency

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.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.