Kommunikation und Parallele Prozesse (SoSe 2014)
Dozent | Lutz Schröder |
Vorlesung | Di 12:15 – 13:45 (0.151-115) (Cauerstr. 7/9) |
Übungen | Do 14:15 – 16:45 (0.151-115) |
Zielgruppe | WPF INF-MA 8 (ECTS-Credits: 7,5) WPF INF-BA-V-THI (ECTS-Credits: 7,5) |
Kursbeschreibung
Übungsblätter
- Blatt 1 (Abgabe 08.05.14)
- Blatt 2 (Abgabe 22.05.14)
- Blatt 3 (Abgabe 05.06.14)
- Blatt 4 (Abgabe 20.06.14)
- Blatt 5 (Abgabe 08.07.14)
Literatur
- Robin Milner, Communication and Concurrency, Prentice-Hall International, Englewood Cliffs, 1989.
- 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