Concurrency 並行システムのモデル化と分析 -- ツールLTSAを用いて情報システム科学II 2005年度 並行システムのモデル化と分析 -- ツールLTSAを用いて Jeff Magee & Jeff Kramer, "Concurrency: State models & Java programs" (John Wiley & sons, 1999) という教科書を材料に，並行システムの モデル化の方法について説明する． この本については， Concurrency を参照のこと． スライド 第1章 第2章 第3章 第4章 第5章 第6章 第7章 第8章 第10章
