Prozessalgebra
Aktuelles
Die Vorlesung findet dieses Semester nicht statt
Inhalt
In der "algebraischen Theorie der Prozesse" - kurz: Prozessalgebra -, 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 Prozessterme. Außerdem werden Anwendungen der Theorie vorgestellt.
