微妙に純粋な興味以外の必要性もあって、CSP（Communicating Sequential Processes）をこの本 並行システムの検証と実装: 形式手法CSPに基づく高信頼並行システム開発入門 (トップエスイーシリーズ 実践講座)作者: 磯部祥尚,東野輝夫出版社/メーカー: 近代科…