コンピュ-タプロトコルの設計法: 正しいプロトコルの設計と検証へ導く総合解説書 (コンピュ-タ通信シリ-ズ)

著者 : ジェラ-ド・J.ホルツマン 水野忠則

• カットシステム (1994年11月20日発売)

感想・レビュー・書評

[kaizenさんの感想 · 2020年3月8日]

長年持っていたのに、積ん読で活かしてきませんでした。 訳者の近辺で勉強していたのに、うまくSPIN(Simple Promela(protocol/process meta language) Interpreter)を使えていませんでした。 今になって持ち歩いていますが、初期の頃のPromelaと現在の姿との間の違いがまだうまく説明できません。ごめんなさい。

#感想歌 spinなら時系列図を出力す記述簡単効果覿面　この本がspinの本だと知られずに英語の本を読む人多し

「人生で影響を受けた本100冊」の１冊。https://qiita.com/kaizen_nagoya/items/16af53acbb147a94172e