Was ist eine Prozessalgebra?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Warum reichen Automaten nicht, um interaktive Systeme zu beschreiben?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Was unterscheidet die Dynamik eines Automaten zu der eines Prozesses?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Wie lautet die Definitionsregel zur Konstruktion von Prozessen?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Wie lautet die action - Regel zur Konstruktion von Prozessen?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Wie lautet die choice - Regel zur Konstruktion von Prozessen?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Wie lautet die termination - Regel zur Konstruktion von Prozessen?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Was ist die spezielle Aktion $\tau$ ?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Wie lauten die 4 Axiome für die Operationen action, replacement und choice und wozu sind sie da?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Wie lautet die Syntax für parallele Ausführung von Prozessen (parallel composition) und wie die entsprechenden Regeln?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Wie sieht die Syntax (und Bedeutung) für die restriction und relabeling Regeln aus
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Welche Möglichkeiten gibt es zur CSP-like Komminukation
(CSP steht für Communicating Sequential Processes)
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Welche Möglichkeiten gibt es zur CCS-like Komminukation
(CCS steht für Calculus of Communicating Systems)
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
nicht äquivalent = unterscheidbar = Unterschied durch irgendeine Form von “Experiment” erkennbar
Was versteht man unter "Linear Time" und was unter "Branching Time" Experimenten?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Was ist die Menge Tr(P) und wann sind zwei Prozesse Traceäquivalent
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Was bedeutet CT(P) und wann sind zwei Prozese CT-äquivalent?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Was bedeutet F(P) und weann sind zwei Prozesse Failure-äquivalent?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Wie sieht ein Faliure Trace aus und wann sind zwei Prozesse Failure Trace äquivalent?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Wie sieht ein Ready Trace aus und wann sind zwei Prozesse ReadyTrace äquivalent?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Wann Simuliert P Q und wann sind zwei Prozesse äquivalent bezüglich der Simulationssemantik?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Wann sind zwei Prozesse äquivalent bezüglich der Bisimulation?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Wann sind zwei Prozessalgebren äquivalent bezüglich der Tree Semantik?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Was sind Preorders bezüglich der beschriebenen Semantiken
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Was ist die Idee hinter dem $\pi$ Kalkül?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Was ist die grundlegende neue Operation im $\pi$ Kalkül?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.