アクターモデル
長年にわたり、アクターモデルを理解するための形式体系が開発されてきた。以下のようなものがある: