CSP (Communicating Sequential Processes) の紹介資料 並行システムの理論 CSP (Communicating Sequential Processes) についての紹介資料を作成しました.並行システムの開発でポイントになる概念,逐次システムとの対比,CSP 理論の概要,検証手法とツールの紹介からなります. 並行システムの理論 CSP の紹介 (PDF, 2016/11/15 updated) 2016/11/19 に行われた「静的コード解析の会 第0回」で発表しました. http://metasepi.connpass.com/event/42141/ ビデオを撮っていただいたのですが,残念ながら音声がうまくとれなかったようです.再度紹介する機会があれば撮り直したいと思いますが... 「並行システムの理論 CSP の紹介」 on YouTube