目次
１ プロセス
２ 並行性
３ 非決定性
４ 通信
５ 逐次プロセス
６ 共有資源
７ 議論
感想・レビュー
※以下の感想・レビューは、株式会社ブックウォーカーの提供する「読書メーター」によるものです。
Q
0
CSPという「並行性に関するプロセス計算の理論」を考案者自ら説明する本。CSPというかモデリング一般についてよく理解していないために手に取った。実直な感想として読み進めるのが難しかった。本書では理論面を扱っているため類書のようにモデリングツールを使わない。そのためモデルを検査する話は出てこないようだ。モデリングの実践ではなく理論面に興味がある読者に向けた本。2021/05/06
