Kommunikation und Parallele Prozesse (SoSe 2020)
| Dozent | Sergey Goncharov |
| Vorlesung mit Übung | Di, 16:15 – 17:45, 0.68 (Martensstraße 5/7) |
| Mi, 12:15 – 13:45, 0.68 (Martensstraße 5/7) | |
| 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.)
Abgesagt wegen unzureichender Belegung
Es gibt eine fortlaufend überarbeitete inoffizielle Vorlesungsskript
Onlineteaching wegen Corona
Wegen der aktuellen Corona-Pandemie wird der Kurs zunächst elektronisch abgehalten. Für das erste Treffen (am 21.04, um 16:15 nächster Versuch: 22.04, um 12:15) schlage ich vor, zu diesem Termin den folgenden Link https://jitsi.rrze.fau.de/KommPar2020 zu verwenden.
Weitere Information zu diesem Thema, falls vorhanden, wird über dieser Seite kommuniziert.
Schreiben Sie mir bitte an sergey.goncharov@fau.de, falls Sie noch Fragen haben.
Übungsblätter
Wird nachgereicht
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, 2007Luca 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, 2001Joachim Parrow, An Introduction to the pi-Calculus