Dozent	Sergey Goncharov
Vorlesung	Mo 16:15 – 17:45
Übungen	Do ~~12:15 – 13:45~~ Achtung: Verschoben auf 13:15-14:45
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.)

Teilnahme

Anmeldung für den Kurs läuft über StudOn, wo das Zoom-Link zu erreichen wird: https://www.studon.fau.de/crs3711897_join.html

Übungsblätter

Vorlesungsskript

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.