講義ノート

第１回

概論 (PDF 文書, 159KB)

第２回

模倣関係・双模倣関係 (PDF 文書, 91KB)

第３回

等価性 (PDF 文書, 78KB)

第４回

並行計算意味論 (PDF 文書, 72KB)

第５回

並行計算意味論 (PDF 文書, 53KB)

第６回

プロセス代数（強等価性） (PDF 文書, 64KB)

第７回

プロセス代数 (PDF 文書, 60KB)

第８回

プロセス代数（弱等価性） (PDF 文書, 94KB)

第９回

プロセス代数 (PDF 文書, 46KB)

第１０回

記述例、時間オートマトン (PDF 文書, 80KB)

第１１回

時間オートマトンによる検証 (PDF 文書, 87KB)

第１２回

時間オートマトンによる検証 (PDF 文書, 73KB)

第１３回

モデル検査 (PDF 文書, 162KB)

第１４回

時間様相論理 (PDF 文書, 79KB)