Actor model and process calculi とは

コンピュータサイエンスでは、アクタモデルとプロセス計算は、並行したデジタル計算のモデリングに対する2つの密接に関連したアプローチです。アクターモデルとプロセス計算履歴を参照してください。
2つのアプローチの間には多くの類似点がありますが、いくつかの違いもあります(いくつかの哲学的、技術的なもの)。
 アクターモデルは1つしかありません(ただし、設計、分析、検証、モデリングなどの正式なシステムが多数あります)。さまざまなレベルの詳細(時間、確率的遷移、またはセキュリティ分析などのアプリケーション領域に特有の構成を組み込んだ計算を含む)でさまざまな種類の並行システムについて推論するために開発された多数のプロセス計算があります。 Actorモデルは物理法則に触発され、その基本的な公理、すなわち物理法則(Actor model theoryを参照)に依存しています。プロセス計算はもともと代数からインスピレーションを受けていた(Milner 1993)。プロセス計算のプロセスは匿名であり、名前付きチャネル(同期または非同期)またはアンビエント(チャネルのような通信をモデル化するためにも使用できる)(CardelliおよびGordon 1998)のいずれかを介してメッセージを送信することによって通信します。対照的に、Actorモデルのアクタはアイデンティティを持ち、他のアクタのメーリングアドレスにメッセージを送信することによって通信します(この通信スタイルは、チャネルのようなコミュニケーションをモデル化するためにも使用できます – 以下を参照)。
アクターモデルとプロセス計算上の出版物には、相互参照、承認、および相反する引用のかなりの数があります(アクターモデルとプロセスの計算履歴を参照)。