wie sehen die Formeln aus? Gramatik aufgestellt
wie verhalten sich diese Formeln der Semantik nach? Semantik der Formeln erklärt
Prozessdefinition für Puffer mit Kapazität 1 B1 B1 = ein.aus.Buf
Prozessdefinition für Puffer mit Kapazität 2 B2 B2 = ein.B2' B2'=aus.B2 + ein.B2
B2=aus.B2
'
Wie kann man einen Puffer mit Kapazität 2 β2 unter zu Hilfenahme der Def. von B1 definieren β2 = B1|B1
Sind diese Prozesse äquivalent? kommt unter Umständen auf die Äquivalenz an, Äquivalenzen aufgelistet
Wie verhalten sich Traceäquivalenz und Bisimularität zueinander? Bisimilarität ⊆ Traceäquivalenz
Erst Bisim. prüfen, vlt ergibt sich dann ja Traceäquivalenz Bisimulation aufgestellt
Wie lautet der Satz von Knaster-Tarsky? Satz erklärt
Was haben Fixpunkte mit der Vorlesung zu tun? Fixpunktcharakterisierung der Bisim. erklärt
Wie war das mit der logischen Äquivalenz? Bzgl. welcher Lgoik? HML
Unterschied zwischen HML und propositionaler Logik? Modaloperatoren
Wie verhält sich [α]φ? q erfüllt [α]φ gdw. f.a q(→α)q' : q' erfüllt φ
Wie verhalten sich Bisimilarität und logische Äquivalenz zueinander? Fallen zusammen bei endlicher Verzweigung
Was bleibt von dieser Beziehung ohne endliche Verzweigung? Bisimilarität impliziert log. Äquivalenz, weil log. Äquvalenz mit Vereinigung der beschränkten Bisimilaritäten zusammenfällt(Anmerkung des Prüfers: Nur bei endlicher Zahl der Aktionen)