プロセス代数とその応用①_形式仕様とプロセス代数 - 共立出版コンピュータサイエンス誌『bit』