Most of these changes were motivated by the advent of automated tools for CSP process analysis and verification.
変更のほとんどは、CSPプロセス解析と検証のための自動化ツールの出現に対応するものである。