プロセス代数とも言う

並行システムを形式的にモデリングする手法のこと

例