Dozent	Lutz Schröder
Vorlesung mit Übung	Mo 14:15 – 15:45, Seminarraum INF8, Cauerstr. 11 (00.131-128)
	Do. 14:15 – 15:45, Seminarraum 02.224, Cauerstr.9,
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

Materialien

Es gibt eine fortlaufend überarbeitete inoffizielle Mitschrift (Stand 27.09.2026)

Übungsblätter

Werden im Laufe 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