Von „http://www.julian-fietkau.de/keyword/theoretische_informatik“

Stichwort: Theoretische Informatik

Temporale Logik und Bisimulation

2011-02-02, Fachbereich Informatik, Universität Hamburg

Temporale Logik und Bisimulation

Dieser Vortrag wurde im Modul Formale Grundlagen der Informatik 3 gehalten. Anhand einfacher Beispiele wurden zunächst Folgenäquivalenz und Bisimulation als mögliche Äquivalenzrelationen über Transitionssystemen vorgestellt. Danach wurden mehrere temporale Logiken vorgestellt und schließlich wurde untersucht, wie die Äquivalenzen der Terme jener Temporallogiken mit der Folgenäquivalenz und Bisimulation zusammenhängen.

RSS