![[Mail]](../../../../Images/umschlag.gif)
| Thomas Noll | Disclaimer | Last modified: 2004-01-19 12:45 UTC |
![[I2 logo]](../../../../Images/i2.gif)
![[RWTH logo]](../../../../Images/rwth-rot90.gif)
(Informatik 2)
HomeNewsJobsContactStaffTeachingResearchMOVES SeminarDFG-GK AlgoSynCS ChairsLuFG I2
Formal Models of Concurrency [FMC]
Winter Semester 2003/04
Lehrstuhl für Informatik II
Diplomstudiengang Informatik
(Theoretische Informatik, Vertiefungsfach)
Master Programme Software Systems Engineering
(Theoretical CS, Specialisation Subject)
News
- 02.12.2003
-
Students wishing to attend a seminar or a practical course in
the upcoming summer semester should pre-register
here.
In particular, for the successor seminar for this course the
options
- theoretical seminar and
- preferred lecturer: Indermark
- 01.12.2003
- The tutorial on Dec. 15 has to be cancelled. (See below for an overview of the remaining dates.)
- 28.10.2003
- No lecture on Nov. 4 because of the "Vollversammlung der Fachschaft".
- 20.10.2003
- The times of the lecture are slightly changed: it is now 11:40-13:05 (still Tuesday, AH I).
- 09.10.2003
- Since lecture hall AH IV cannot be used, both date and place of the lecture have to be changed. It is now scheduled for Tuesday, 11:30am, at AH I, starting October 14th. The tutorial remains untouched (Monday, 1:30pm, AH III, from Oct. 20th).
Dates
| Kind | Time/place | Start | Docent |
|---|---|---|---|
| Lecture | Tue 11:30-13:00 AH I | 14.10. | Noll |
| Tutorial | Mo 13:30-15:00 AH III (biweekly) | 20.10. | Noll |
Contents
The aim of this course is to introduce foundational calculi for modeling and analysing concurrent, distributed, and mobile systems. In contrast to the sequential case where the semantics of a system is determined by its terminating computations, the behaviour of concurrent systems needs to be characterised in terms of communication, interaction, and mobility of non-terminating processes. We analyse these notions using the following calculi developed by R. Milner:- Calculus of Communicating Systems (CCS)
- Calculus of Mobile Systems (pi-calculus)
Slides
Exercises
| No. | Sheet | Issued | Presented |
|---|---|---|---|
| 1 | Here | 20.10.03 | 03.11.03 |
| 2 | Here | 11.11.03 | 17.11.03 |
| 3 | Here | 25.11.03 | 01.12.03 |
| 4 | Here | 16.12.03 | 12.01.04 |
| 5 | Here | 20.01.04 | 26.01.04 |
Literature
- R. Milner: Communicating and Mobile Systems: the pi-calculus, Cambridge University Press, 1999
- R. Milner: Communication and Comcurrency, Prentice Hall, 1989
Subsequent Events
Seminar on Formal Models of Concurrency in summer semester 2004. Interested students can register here.
