Power domains for concurrency and Actors Clinger's power domain Clinger [1981] constructed a power domain for the Actor model building on the base domain of Actor event diagrams, which is incomplete. See Clinger's model. Timed diagrams power domain Hewitt [2006] constructed a power domain for the Actor model (which is technically simpler and easier to understand than Clinger's model) building on a base domain of timed Actor event diagrams, which is complete. The idea is to attach an arrival time for each message received by an Actor. See Timed Diagrams Model. Connections with topology and the Vietoris space Domains can be understood as topological spaces, and, in this setting, the power domain constructions can be connected with the space of subsets construction introduced by Leopold Vietoris. See, for instance, [Smyth 1983]. References Irene Greif. Semantics of Communicating Parallel Processes MIT EECS Doctoral Dissertation. August 1975. Joseph E. Stoy, Denotational Semantics: The Scott-Strachey Approach to Programming Language Semantics. MIT Press, Cambridge, Massachusetts, 1977. (A classic if dated textbook.) Gordon Plotkin. A powerdomain construction SIAM Journal on Computing September 1976. Carl Hewitt and Henry Baker Actors and Continuous Functionals Proceeding of IFIP Working Conference on Formal Description of Programming Concepts. August 1–5, 1977. Henry Baker. Actor Systems for Real-Time Computation MIT EECS Doctoral Dissertation. January 1978. Michael Smyth. Power domains Journal of Computer and System Sciences. 1978. George Milne and Robin Milner. Concurrent processes and their syntax JACM. April, 1979. CAR Hoare. Communicating Sequential Processes CACM. August, 1978. Nissim Francez, CAR Hoare, Daniel Lehmann, and Willem de Roever. Semantics of nondeterminism, concurrency, and communication Journal of Computer and System Sciences. December 1979. Jerald Schwartz Denotational semantics of parallelism in Semantics of Concurrent Computation. Springer-Verlag. 1979. William Wadge. An extensional treatment of dataflow deadlock Semantics of Concurrent Computation. Springer-Verlag. 1979. Ralph-Johan Back. Semantics of Unbounded Nondeterminism ICALP 1980. David Park. On the semantics of fair parallelism Proceedings of the Winter School on Formal Software Specification. Springer-Verlarg. 1980. Will Clinger, Foundations of Actor Semantics. MIT Mathematics Doctoral Dissertation, June 1981. Gordon Plotkin. Domains (Pisa notes). 1983. Available from . M. B. Smyth, Power domains and predicate transformers: A topological view, LNCS 154, Springer, 1983. S. Abramsky, A. Jung: Domain theory. In S. Abramsky, D. M. Gabbay, T. S. E. Maibaum, editors, Handbook of Logic in Computer Science, vol. III. Oxford University Press, 1994. () (download PDF PS.GZ) Denotational semantics