プロセス計算
一般に、コンテキスト(並列に動作する他のプロセス群)が違いを発見できない場合、プロセスは同じと見なされる。しかし、この直観を明確化するのは難しく、同一性の明確な定義が必要となる(停止性問題の結論のように決定不能と考えられている)。プロセスの同一性を判断する技術的ツールとしては双模倣性がある。
プロセス計算の表現能力。プログラミングをしてみると、ある問題は特定の言語で解き易く、別の問題は別の言語で解き易いということがわかる。この現象は、チャーチ=チューリングのテーゼが同じとした計算モデルの表現能力の特徴を、より明確に示す必要があることを意味している。1つの方法として、同じアルゴリズムを2つの計算モデルで表現し、それらの間でどのような属性が保持されるかを調べるという方法がある。属性をより多く保持する方が表現能力が高いと言える。プロセス計算では、同期型π計算は非同期型よりも表現能力が高く、高階π計算と同程度であり、アンビエント計算よりは低い、という結果が知られている。
生物系をプロセス計算を使ってモデル化する。
プロセス計算には非常に様々な手法が存在するが(分子の相互作用の研究に特化し、確率論的振る舞いやタイミング情報を扱うものもある)、全てのプロセス計算に共通する機能もいくつか存在する。
独立したプロセス間の相互作用を、共有変数の更新ではなく通信(メッセージパッシング)として表現する。
プロセスやシステムの記述に少数のプリミティブとそれらプリミティブを組み合わせた演算子を使う。
プロセス演算子の代数学的規則を定義し、プロセスの表現を方程式を解くように操作可能とする。