並行処理を記述するための概念と形式化の手法を,代数的な立場と論理的な立場から学ぶことを目的とする。さらに,そのような形式化を用いて,並行システムの検証や設計を行う方法についても学ぶ。
並行処理を記述するための概念と形式化の手法を,代数的な立場と論理的な立場から
学ぶことを目的とする.さらに,そのような形式化を用いて,並行システムの検証や
設計を行なう方法についても学ぶ.
1. プロセス,イベント,繰り返しと再帰
2. プロセスの軌跡
3. 軌跡に関する演算
4. 並行性
5. 例とデッドロックに関する証明
6. 決定性,インターリービング
7. 動作と観測
8. CCS によるプロセスの表現
9. 双模倣と等価性
10. 等価性判定のための完全な公理系
11. プロセス論理
12. 動的論理
13. 時相論理による形式化
参考書等
1. Handbook of Theoretical Computer Science (Vol. B): Formal Models and Semantics
(Chapter 19) J. Van Leeuwen 編,Elsevier Science Pub. B.V., 1990
2. Communicating Sequential Processes, C.A.R. Hoare 著,Prentice-Hall,1985
3. Communication and Concurrency, A.J.R.G. Milner 著,Prentice-Hall 1989
4. Process Algebra, Tracts in Theoretical Computer Science 18 J.C.M. Baeten, W.P. Weijland
著,Cambridge University Press,1990
←プログラム理論
→計算機環境論,非同期システム論
小レポート(約7 回)と期末テストにより評価する.
特になし
知識ユニット
並行プロセス,代数的モデル,軌跡,観測等価,双模倣,CSP,CCS,動的論理,時
相論理