並行計算のための実行系

日本ソフトウェア科学会　オブジェクト指向計算研究会

並行計算の代数やグラフを利用した代表的な処理系として、ＣＣＳおよびその拡張としてπ計算が提案された。これらは、単純な記述で高い表現能力を有していたが、実現機構としての能力は低いといえる。そこで、実現機構を含めた形式システムであるπ計算の実行系を定義した。そこで、この実行系が実行に関する妥当性を持っていることを証明した。