アクターモデル
アクターモデルの開発と数理論理学との関係は興味深い。その開発の主要な動機として、Planner言語の開発で生じた制御構造問題を扱い、理解するという目的があった。アクターモデルが定義されたとき、「計算は推論に内包される」という Kowalski の主張に関連するモデルの能力を理解するという重要な目標があったのである。ヒューイットと Agha[1991]は、結果として生まれたシステムにおける計算ステップがその前のステップからの推論(演繹)ではないという意味で、演繹的ではないと指摘した。
アクターモデルの自然な発展として、メッセージ内のアドレスが含まれるようになった。パケット通信[1961 and 1964]に影響され、ヒューイットは形式が固定されていない通信を使った新たな並行計算のモデルを提案した。例えば、メッセージは空でもよい。もちろん、送信側が受信側に新たなアクセスすべきアドレスを伝えたい場合、通信によってそれが伝えられる。
計算によっては、メッセージを受け取った側からの応答を得たい場合がある。そのためには、resumption(再開)と呼ばれる別のアクターのアドレス付きでメッセージを送る(継続またはスタックフレームとも呼ばれる)。受信者は応答メッセージを resumpiton に送信する。
メッセージにアクターのアドレスを含めることによって、アクター間の関係は可変なトポロジーを形成することができる。