Processes and the denotational semantics of concurrency

189Citations
Citations of this article
25Readers
Mendeley users who have this article in their library.

Abstract

A framework allowing a unified and rigorous definition of the semantics of concurrency is proposed. The mathematical model introduces processes as elements of process domains which are obtained as solutions of domain equations in the sense of Scott and Plotkin. Techniques of metric topology as proposed, e.g., by Nivat are used to solve such equations. Processes are then used as meanings of statements in languages with concurrency. Three main concepts are treated, viz. parallellism (arbitrary interleaving of sequences of elementary actions), synchronization, and communication. These notions are embedded in languages which also feature classical sequential concepts such as assignment, tests, iteration or recursion, and guarded commands. In the definitions, a sequence of process domains of increasing complexity is used. The languages discussed include Milner's calculus for communicating systems and Hoare's communicating sequential processes. The paper concludes with a section with brief remarks on miscellaneous notions in concurrency, and two appendices with mathematical details. © 1982 Academic Press, Inc.

Cite

CITATION STYLE

APA

de Bakker, J. W., & Zucker, J. I. (1982). Processes and the denotational semantics of concurrency. Information and Control, 54(1–2), 70–120. https://doi.org/10.1016/S0019-9958(82)91250-5

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free