== CPP ==

  * 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

== HML ==

  * 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?