Kommunikation und Parallele Prozesse 2015 (Audio)

Beschriftete Transitionssysteme Prozessalgebren Starke und schwache Bisimulation Hennessy-Milner-Logik Modaler mu-Kalkül Lernziele und Kompetenzen: Fachkompetenz Wissen Die Studierenden geben elementare Definitionen und Fakten zu reaktiven Systemen wieder. Verstehen Die Studierenden erläutern semantische Grundbegriffe, insbesondere Systemtypen und Systemäquivalenzen, und identifizieren ihre wesentlichen Eigenschaften erläutern die Syntax und Semantik von Logiken und Prozesskalkülen fassen wesentliche Metaeigenschaften von Logiken und Prozesskalkülen zusammen. Anwenden Die Studierenden übersetzen Prozessalgebraische Terme in ihre denotationelle und operationelle Semantik prüfen Systeme auf verschiedene Formen von Bsimilarität prüfen Erfüllheit modaler Fixpunktformeln in gegebenen Systemen implementieren nebenläufige Probleme in Prozessalgebren