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 spezifizieren das Verhalten nebenläufiger Prozesse im modalen mu-Kalkül. Analysieren Die Studierenden leiten einfache Meta-Eigenschaften von Kalkülen her
