プログラミング言語の形式的意味論入門 を買いました。 表紙に書いてありますが The Formal Semantics of Programming Languages: an Introduction という洋書の和訳です。 多分途中で挫折しますが、とりあえず頭から眺めてみようと思います。 エラッタ 見つ…

序 CSP(Communication Sequential Process)というプロセス代数とそれに基づいた形式手法の本を読みました。頑張って読んだので紹介します。 CSPは並行計算をラベル付き遷移システムで表現した上で(これをプロセスという)、どのような遷移がありうるのか、プ…