Kommunikation und Parallele Prozesse (SoSe 2015)
| Dozent | Lutz Schröder |
| Vorlesung | Do 12:15 -13:45 (0.151-115) (Cauerstr. 7/9) |
| Ãœbungen | Fr 12:15 -13:45 (0.151-115) |
| Zielgruppe | WPF INF-MA 8 (ECTS-Credits: 7,5) WPF INF-BA-V-THI (ECTS-Credits: 7,5) |
(Geeignet als WPF für Nebenfach Informatik in verschiedenen Studiengängen, insbesondere Mathematik.)
Kursbeschreibung
Ãœbungsblätter
Literatur
- Robin Milner, Communication and Concurrency, Prentice-Hall International, Englewood Cliffs, 1989.
- Luca Aceto, Anna Ingólfsdottir, Kim Guldstrand Laresun and Jiri Srba: Reactive Systems, Cambridge University Press, 2007
- Luca Aceto, Kim G. Larsen, An Introduction to Milner’s CCS.
- Colin C. Stirling, Modal and Temporal Logics for Processes.
- Davide Sangiorgi and David Walker, The pi-Calculus – A Theory of Mobile Processes, Cambridge University Press, 200