Actor model theory とは

理論的なコンピュータ科学では、Actorモデル理論はActorモデルの理論的問題に関係します。
アクターは、同時デジタル計算のアクターモデルの基礎を形成するプリミティブです。受信したメッセージに応答して、俳優はローカル決定を行い、より多くのアクターを作成し、より多くのメッセージを送信し、受信した次のメッセージにどのように応答するかを指定することができる。俳優モデル理論は、俳優計算の事象と構造、その証明理論、および意思決定モデルの理論を組み込んでいる。