Sie befinden sich hier: Termine » Prüfungsfragen und Altklausuren » Hauptstudiumsprüfungen » Lehrstuhl 8 » CPP   (Übersicht)

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?