Simulation Semantik

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.

Kommentare

Nur angemeldete Nutzer dürfen kommentieren. Hier geht's zur kostenlosen Registrierung.