Ludwig-Maximilians-Universität München,
Institut für Informatik
Lehr- und
Forschungseinheit für Programmierung und Softwaretechnik
http://www.pst.informatik.uni-muenchen.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