プロセス計算
Process calculus
プロセス代数
とも言う
並行システム
を形式的にモデリングする手法のこと
例
CSP
π計算
https://ja.wikipedia.org/wiki/プロセス計算