並行システムの検証と実装

形式手法CSPに基づく高信頼並行システム開発入門

• Author(s): 磯部 祥尚,
• Publisher: 近代科学社
• Pages: 361
• ISBN_10: 4764904357
  ISBN_13: 9784764904354
  
• Language: ja
• Categories: Technology & Engineering / General ,

Description:... 並行システムとは、マルチコア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　演習問題解答