Denotational Semantics
Will Clinger (building on the work of Irene Greif, Gordon Plotkin, Henry Baker, Michael Smyth, and Francez, Hoare, Lehmann, and de Roever ) published the first satisfactory mathematical denotational theory of the Actor model using domain theory in his dissertation in 1981. His semantics contrasted the unbounded nondeterminism of the Actor model with the bounded nondeterminism of CSP and Concurrent Processes (see denotational semantics). Roscoe has developed a denotational semantics with unbounded nondeterminism for a subsequent version of Communicating Sequential Processes Hoare . More recently Carl Hewitt developed a denotational semantics for Actors based on timed diagrams.
Ugo Montanari and Carolyn Talcott have contributed to attempting to reconcile Actors with process calculi.
Read more about this topic: Actor Model And Process Calculi