プロセス代数とその応用④_プロセス代数と等価性(後編) - 共立出版コンピュータサイエンス誌『bit』