サイトマップお問合せヘルプ
シラバス
  • 授業一覧から探す
    • 教養教育院
    • 文学部・人文学研究科
    • 文学研究科
    • 国際言語文化研究科
    • 教育学部・教育発達科学研究科
    • 法学部・法学研究科
    • 経済学部・経済学研究科
    • 情報学部/情報学研究科
    • 情報文化学部
    • 情報科学研究科
    • 理学部・理学研究科
    • 医学部・医学系研究科
    • 工学部・工学研究科
    • 農学部・生命農学研究科
    • 国際開発研究科
    • 多元数理科学研究科
    • 環境学研究科
    • 創薬科学研究科
    • 国際教育交流センター
    • 国際言語センター
    • ※平成29年度学生募集停止
    • オープンキャンパス
    • 名大の研究指導
    • G30 for everyone
    • 名古屋大学ラジオ公開講座
    • 退職記念講義アーカイブ
    • 退職記念講義2016
    • nuocwをフォローしましょう
    • 過去の特集ページ
    • 教員の方へ
    • NU OCW Podcast
      RSS を iTunes の "Podcast" にドラッグ&ドロップすると、ポッドキャストが登録されます。
      (iTunesは最新版をお使いください)
  1. ホーム >
  2. 情報科学研究科 >
  3. 並行分散計算特論 >
  4. シラバス
授業ホームシラバス講義資料

教科書

なし

参考書

  • Robin Milner: Communicating and mobile systems: the π-calculus (Cambridge University Press, 1999), ISBN 0-521-64320-1
  • Robin Milner: Communication and concurrency (Prentice Hall, 1989), ISBN 0-131-15007-3
  • Jan van Leeuwen: Handbook of Theoretical Computer Science (Volume B, Chapter 19) (The MIT Press, 1994), ISBN 9780262220392

ツール

講義スケジュール

講義内容
1 概論
2 模倣関係・双模倣関係
3 等価性
4 並行計算意味論
5 並行計算意味論
6 プロセス代数(強等価性)
7 プロセス代数
8 プロセス代数(弱等価性)
9 プロセス代数
10 記述例、時間オートマトン
11 時間オートマトンによる検証
12 時間オートマトンによる検証
13 モデル検査
14 時間様相論理
15 まとめ・期末試験

成績評価

期末試験および期末レポート

最終更新日:2013年01月15日
最終更新日の時点の講義内容で公開を行っております。
最新年度の講義と内容が異なる可能性がありますのでご注意ください。

ページトップへ

http://ocw.nagoya-u.jp/