Universität München
Institut für Informatik
Lehr- und Forschungseinheit für Programmierung und Softwaretechnik
www.pst.informatik.uni-muenchen.de/Lehre/ss99/PrAlg
Prozeßalgebra
In der "algebraischen Theorie der Prozesse", - kurz: Prozeßalgebra -, die sich an die Hoaresche Modellsprache CSP anlehnt, werden parallel verknüpfte, über Nachrichten kommunizierende Prozesse durch "Terme" abstrakt dargestellt. Schwerpunkt der Vorlesung ist die Vorstellung der sprachlichen Grundbegriffe dieser Theorie sowie verschiedener semantischer Konzepte und verschiedener axiomatischer Charakterisierungen der Gleichheit solcher Prozeßterme. Außerdem werden Anwendungen der Theorie vorgestellt.
-
Veranstalter:
-
Prof. Dr. Fred Kröger und
Dirk Pattinson
-
Vorkenntnisse:
-
Grundkentnisse in Informatik
-
Schein:
-
Gilt für Diplomprüfung Haupt- und Nebenfach Informatik.
-
Termin:
-
Vorlesung Di, 11-13, Do 16-18 Raum 139, Oettingenstr. 67
-
Übungen Mi, 14-16 Raum 139, Oettingenstr. 67
-
Literatur:
-
Wird in der Vorlesung bekanntgegeben.
-
Übungsbetrieb und -blätter
Dirk Pattinson (6/5/1999)