内容説明
並行システムとは、マルチコア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 演習問題解答
感想・レビュー
※以下の感想・レビューは、株式会社ブックウォーカーの提供する「読書メーター」によるものです。
Q
0
CSPという形式手法で仕様記述し、仕様が正しいことを検証器で検査し、CSPの使えるJavaライブラリによって実際に実装して実行するまでを手解きしてくれる本。CSPの実践について理解しないまま今まで来てしまったので熟読した。本書ではFDRという検証器を使っているが商用利用禁止なので、ProBツールのCSP-Mを使って試してみた。本書のスクリプトはほぼProBでも動く印象。モデル化は有用だと感じたが詳細化が自分の役に立つのか実感がわかなかった。特に実装において並列度が上がってしまうのは困る場面も多いのでは。2021/06/14
