アクターモデル
Denotational semantics of the Actor model