Kommunikation und Parallele Prozesse (WiSe 2022/23)
Kommunikation und Parallele Prozesse (WiSe 2022/23)
| Dozent | Lutz Schröder |
| Vorlesung mit Übung | Di 16:15 – 17:45 , 02.133-113 (Martensstr. 3) |
| Fr. 10:15 – 11:45, 02.133-113 (Martensstr. 3) | |
| 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.)
Materialien
Es gibt eine fortlaufend überarbeitete inoffizielle Mitschrift IStand 10.02.2023)
Übungsblätter
werden im Lauf des Semesters veröffentlicht
Literatur
- Robin Milner, Communication and Concurrency, Prentice-Hall International, Englewood Cliffs, 1989.
- Luca Aceto, Anna Ingolfsdottir, Kim Guldstrand Larsen 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, 2001
- Joachim Parrow, An Introduction to the pi-Calculus