![[Mail]](../../../../Images/umschlag.gif)
| Webmaster | Disclaimer | Last modified: 2002-11-08 14:40 UTC |
![[I2 logo]](../../../../Images/i2.gif)
![[RWTH logo]](../../../../Images/rwth-rot90.gif)
(Informatik 2)
HomeNewsJobsContactStaffTeachingResearchMOVES SeminarDFG-GK AlgoSynCS ChairsLuFG I2
Modelling Concurrent Systems [MCS]
Winter Term 2000/2001
Lehrstuhl für Informatik II
Hauptstudium / Master Programme
| Type | Date/Location | Start | Lecturer |
|---|---|---|---|
| V2 | Thu 10:00 - 11:30 AH VI | 19.10. | Indermark, Noll |
| Ü1 | Mon 15:30 - 17:00 AH III | 23.10. (fortnightly) | Bollig |
Contents
The aim of this course is a basic understanding of communicating and mobile systems. In contrast to sequential systems with result-semantics induced by finite computations, the behaviour of concurrent systems is mainly determined by communication, interaction, and mobility of infinite processes. We analyze these notions using Milner's calculi:
- CCS (calculus of communicating systems)
-
-Calculus (calculus of mobile systems)
Excercises
Exercises can be worked on in groups of at most three students. To achieve a certificate to this course, half of the exercises has to be reasonably dealt with and at least one exercise has to be reckoned up at the table.
- Sheet 1 Solutions
- Sheet 2 Solutions
- Sheet 3 Solutions
- Sheet 4 Solutions
- Sheet 5 Solutions
- Sheet 6
- Sheet 7 Solutions
Overhead Transparencies
Literature
- R. Milner,
Communicating and Mobile Systems: the
-Calculus,
Cambridge University Press, 1999
(
Library)
- R. Milner, Communication and Comcurrency, Prentice Hall, 1989 ( Library)
- C. Hoare, Communicating Sequential Processes, Prentice Hall, 1985 ( Library)
Miscellaneous and Links
