本書「並行システムの検証と実装」に関連するウェブサイトです。
本書の著者（磯部祥尚）のサイトです
本書で使用しているツール（FDR, JCSP）のインストール方法を説明しています
本書に基づく講義を視聴できます（無料, 要登録）
...