INF-PRS-23, Master, 4 LP
Wintersemester 2009/2010
Aktuelle Hinweise
Vorlesung: Dienstags, 16:45 - 18.15 Uhr, IZ 161
nächste Übung am 03.02. um 15:00 - 16.45 Uhr, IZ 161
Art der Veranstaltung: Vorlesung mit Übung
Stundenzahl: 2V + 1Ü
Dozent: Prof. Dr. U. Goltz
Übungsleiter: Jens-W. Schicke (Sprechzeit jeweils nach Vereinbarung)
Prüfungsmodalitäten: Mündliche Prüfung
Qualifikationsziele: Nach Abschluss dieses Moduls besitzen die Studierenden vertiefte Kenntnisse über Prozessalgebren wie CCS und CSP sowie deren semantische Modelle (Transitionssysteme und Petrinetze).
Inhalt
- Prozessalgebren (CCS und CSP)
- Semantische Modelle von Prozessalgebren
- Transitionssysteme
- Ereignisstrukturen
- Petrinetze
Zeit, Ort
- 2+1 SWS, Vorlesung wöchentlich, Übung 14-tägig
- Vorlesung: Dienstag 16:45 - 18:15 (IZ 161)
- Übung: Mittwoch 15:00 - 16:30 (IZ 161) (zweiwöchentlich)
Termine
Literatur
- R. Milner: Communication and Concurrency, Prentice Hall
- C. A. R. Hoare: Communicating Sequential Processes, Prentice Hall
Skript
Prozessalgebrascript
Übungen
Links
|
