Ludwig-Maximilians-Universität München, Institut für Informatik
Lehr- und Forschungseinheit für Programmierung und Softwaretechnik
https://www.pst.ifi.lmu.de/Lehre/WS0001/pralg/
Prozeßalgebra (WS 00/01)
Inhalt
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.
- Hörerkreis:
-
Studenten im Hauptstudium der Informatik
- Voraussetzungen:
-
Grundkentnisse in Informatik
- Schein:
-
Gilt für Diplomprüfung Haupt- und Nebenfach Informatik.
- Literaturhinweise:
-
werden in der Vorlesung bekanntgegeben.
zurück zum Inhaltsverzeichnis dieser Seite
Personen
Veranstalter:
Verantwortlich für die Durchführung der Übungen sind:
zurück zum Inhaltsverzeichnis dieser Seite
Bei Problemen oder Vorschlägen schicken Sie bitte eine Email an
wwwmaster@pst.informatik.uni-muenchen.de
Alexander Knapp (13.9.00)
Last modified: Wed Feb 14 18:21:41 CET 2001