Talk:Denotational semantics of the Actor model