Geben sie die Grammatik für CPP an

Was genau ist dieses τ

Wann treten diese τ-Transitionen normalerweise auf (→ Parallele Ausführung)

Mal ein Beispiel zu obigem malen

Gleichheit von Prozessen (Spuräquivalenz, starke/schwache Bisimulation)

Was ist schwache Bisimulation? (Relation, bedingungen)

Was ist der Unterschied zu schwacher Bisimulation

Es gibt da dieses HML, wie hängt das mit der starken Bisimulation zusammen?

Grammatik für HML

Semantik der einzelnen Operationen?

Wie war das genau mit den Fixpunkten, wie sind die konstruiert, Fixpunkt was für einer Funktion eigentlich?