アクターモデル
In his doctoral dissertation, Will Clinger developed the first denotation semantics for the Actor model.