プロセス代数とその応用⑥_CSP