情報システム科学II 2005年度

並行システムのモデル化と分析 -- ツールLTSAを用いて

Jeff Magee & Jeff Kramer, "Concurrency: State models & Java programs" (John Wiley & sons, 1999) という教科書を材料に，並行システムの モデル化の方法について説明する． この本については， Concurrency を参照のこと．

スライド