Conference
Denotational semantics of concurrency
Abstract
A general framework for the denotational treatment of concurrency is introduced. The key idea is the notion of process which is element of a domain obtained as solution of a domain equation in the style as considered previously by Plotkin. We use tools from metric topology as advocated by Nivat to solve this equation, show how operations upon processes can be defined conveniently, and illustrate the approach with the definition of a variety of …
Authors
de Bakker JW; Zucker JI
Pagination
pp. 153-158
Publisher
Association for Computing Machinery (ACM)
Publication Date
1982
DOI
10.1145/800070.802188
Name of conference
Proceedings of the fourteenth annual ACM symposium on Theory of computing - STOC '82