Actor model
Denotational semantics of the Actor model