プロセス代数とその応用⑧_等価性判定法