プロセス計算
プロセス計算は非常に様々なものがあり、ここで解説したパラダイムに適合しないものもある。特筆すべき例としてアンビエント計算がある。現在、プロセス計算の研究では以下の問題が中心課題となっている。
計算現象のよりよいモデルとなる新たなプロセス計算の開発
既存のプロセス計算の行儀の良い(well-behaved)な部分を求める。多くのプロセス計算は汎用性が高いが故に「行儀が悪い(wild)」傾向がある。また、普通の計算はプロセス計算の全体を使い果たすことは滅多になく、非常に制限された形のプロセスしか使わない。プロセスの制限形態は型システムとも関連する。
ホーア論理のような考え方で、プロセスの任意の特性を理解可能なプロセス論理。
行動理論(Behavioural theory): 2つのプロセスが同じとはどういう意味だろうか? 2つのプロセスが違うかどうかをどうやって判断できるのか? プロセスの同値クラスの代表を見つけ出すことは可能か?