プロセス計算
プロセス計算(プロセスけいさん、英: Process calculus)またはプロセス代数(プロセスだいすう、英: Process algebras)は、計算機科学において並行システムを形式的にモデリングする各種手法の総称。プロセス計算は、独立エージェントやプロセスの集まりにおける相互作用/通信/同期を抽象的に記述するツールである。また、プロセス記述を操作・分析可能にする代数学的規則も提供し、プロセス間の等価性について(双模倣性を使った)形式的推論を可能とする。主な具体例としては、CSP、CCS、ACP がある。近年ではこれら以外に π計算(英語)、アンビエント計算、PEPA などもある。