Denotational Semantics
Clinger used the Actor event model described above to construct a denotational model for Actors using power domains. Subsequently Hewitt augmented the diagrams with arrival times to construct a technically simpler denotational model that is easier to understand.
Read more about this topic: Actor Model Theory