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)