プロセス代数とその応用⑤_CCS:Cheers!!_Computer_Science - 共立出版コンピュータサイエンス誌『bit』