Du befindest dich hier: FSI Informatik » 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?