並行システムの検証と実装 - 形式手法CSPに基づく高信頼並行システム開発入門

著者名：本位田真一【監修】/東野輝夫【監修】/磯部祥尚

近代科学社（2018/08発売）

• ISBN：9784764904354

内容説明

並行システムとは、マルチコアCPUを備えるPCやスマホのほか、組込み、スマートグリッドの処理にも欠かせないシステムである。 本書は、その基礎理論（プロセス代数）であるCSPを用いた並行システムの構築方法や検証、実装の方法を概説する。ソフトウェア開発者を中心に、並行プログラミングに挑戦したい人への一冊。

目次

第1章　CSP, FDR, JCSP概論
第2章　CSP入門
第3章　FDR入門
第4章　JCSP入門
第5章　CSP理論（動作表現）
第6章　CSP理論（動作解析）
第7章　FDR検証
第8章　JCSP実装
第9章　CSP, FDR, JCSP応用
第10章　CSP, FDR, JCSP実践

付録A　インストール方法
付録B　演習問題解答