Communicating Sequential Processes（CSP）とは並行システムを相互作用するプロセスの群として捉え記述し、その正しさを数学的に証明するための仕様記述言語である。 ここで、相互作用とは特にイベントと呼ばれシステムに応じて定義する。プロセスはイベン…