- Lecturer
- Yonezaki Naoki
- Place
- Tue7-8(W831)
- Credits
- Lecture2 Exercise0 Experiment0
- Code
- 76006
- Syllabus updated
- 2012/5/13
- Lecture notes updated
- 2012/5/13
- Semester
- Spring Semester
Outline of lecture
荳ｦ陦悟ｦ逅繧定ｨ倩ｿｰ縺吶ｋ縺溘ａ縺ｮ讎ょｿｵ縺ｨ蠖｢蠑丞喧縺ｮ謇区ｳ輔ｒｼ御ｻ｣謨ｰ逧縺ｪ遶句ｴ縺ｨ隲也炊逧縺ｪ遶句ｴ縺九ｉ蟄ｦ縺ｶ縺薙→繧堤岼逧縺ｨ縺吶ｋ縲ゅ＆繧峨↓ｼ後◎縺ｮ繧医≧縺ｪ蠖｢蠑丞喧繧堤畑縺縺ｦｼ御ｸｦ陦後す繧ｹ繝繝縺ｮ讀懆ｨｼ繧險ｭ險医ｒ陦後≧譁ｹ豕輔↓縺､縺縺ｦ繧ょｭｦ縺ｶ縲
Purpose of lecture
荳ｦ陦悟ｦ逅繧定ｨ倩ｿｰ縺吶ｋ縺溘ａ縺ｮ讎ょｿｵ縺ｨ蠖｢蠑丞喧縺ｮ謇区ｳ輔ｒｼ御ｻ｣謨ｰ逧縺ｪ遶句ｴ縺ｨ隲也炊逧縺ｪ遶句ｴ縺九ｉ
蟄ｦ縺ｶ縺薙→繧堤岼逧縺ｨ縺吶ｋｼ弱＆繧峨↓ｼ後◎縺ｮ繧医≧縺ｪ蠖｢蠑丞喧繧堤畑縺縺ｦｼ御ｸｦ陦後す繧ｹ繝繝縺ｮ讀懆ｨｼ繧
險ｭ險医ｒ陦後↑縺譁ｹ豕輔↓縺､縺縺ｦ繧ょｭｦ縺ｶｼ
Plan of lecture
1. 繝励Ο繧ｻ繧ｹｼ後う繝吶Φ繝茨ｼ檎ｹｰ繧願ｿ斐＠縺ｨ蜀榊ｸｰ
2. 繝励Ο繧ｻ繧ｹ縺ｮ霆瑚ｷ｡
3. 霆瑚ｷ｡縺ｫ髢｢縺吶ｋ貍皮ｮ
4. 荳ｦ陦梧ｧ
5. 萓九→繝繝繝峨Ο繝繧ｯ縺ｫ髢｢縺吶ｋ險ｼ譏
6. 豎ｺ螳壽ｧｼ後う繝ｳ繧ｿ繝ｼ繝ｪ繝ｼ繝薙Φ繧ｰ
7. 蜍穂ｽ懊→隕ｳ貂ｬ
8. CCS 縺ｫ繧医ｋ繝励Ο繧ｻ繧ｹ縺ｮ陦ｨ迴ｾ
9. 蜿梧ｨ｡蛟｣縺ｨ遲我ｾ｡諤ｧ
10. 遲我ｾ｡諤ｧ蛻､螳壹ｮ縺溘ａ縺ｮ螳悟ｨ縺ｪ蜈ｬ逅邉ｻ
11. 繝励Ο繧ｻ繧ｹ隲也炊
12. 蜍慕噪隲也炊
13. 譎ら嶌隲也炊縺ｫ繧医ｋ蠖｢蠑丞喧
Textbook and reference
蜿り譖ｸ遲
1. Handbook of Theoretical Computer Science (Vol. B): Formal Models and Semantics
(Chapter 19) J. Van Leeuwen 邱ｨｼ窪lsevier Science Pub. B.V., 1990
2. Communicating Sequential Processes, C.A.R. Hoare 闡暦ｼ訓rentice-Hallｼ1985
3. Communication and Concurrency, A.J.R.G. Milner 闡暦ｼ訓rentice-Hall 1989
4. Process Algebra, Tracts in Theoretical Computer Science 18 J.C.M. Baeten, W.P. Weijland
闡暦ｼ靴ambridge University Pressｼ1990
Related and/or prerequisite courses
竊舌励Ο繧ｰ繝ｩ繝逅隲
竊定ｨ育ｮ玲ｩ溽腸蠅隲厄ｼ碁撼蜷梧悄繧ｷ繧ｹ繝繝隲
Evaluation
蟆上Ξ繝昴ｼ繝茨ｼ育ｴ7 蝗橸ｼ峨→譛滓忰繝繧ｹ繝医↓繧医ｊ隧穂ｾ｡縺吶ｋｼ
Comments from lecturer
迚ｹ縺ｫ縺ｪ縺
Supplement
遏･隴倥Θ繝九ャ繝
荳ｦ陦後励Ο繧ｻ繧ｹｼ御ｻ｣謨ｰ逧繝｢繝繝ｫｼ瑚ｻ瑚ｷ｡ｼ瑚ｦｳ貂ｬ遲我ｾ｡ｼ悟曙讓｡蛟｣ｼ靴SPｼ靴CSｼ悟虚逧隲也炊ｼ梧凾
逶ｸ隲也炊
