Denotational Semantics of Concurrency

J. W. de Bakker, Jeffery I. Zucker. Denotational Semantics of Concurrency. In Proceedings of the Fourteenth Annual ACM Symposium on Theory of Computing, 5-7 May 1982, San Francisco, California, USA. pages 153-158, ACM, 1982.

Abstract

Abstract is missing.