Retrieved from ""

Keyword: theoretical computer science

Temporal logic and bisimulation

2011-02-02, Dept. of Computer Science, University of Hamburg

Temporal logic and bisimulation

This talk was held in the course Formal foundations of informatics 3. By explaining some simple examples, we showcased trace equivalence and bisimulation in transition systems. Afterwards, we introduced several temporal logics, examined how their respective term equivalence relates to trace equivalence and/or bisimulation and finally proved the relations.