Jeroen Keiren: It’s all a game: Bisimulation and Apartness

Event Details

Strong apartness has been proposed as a relation for distinguishing states in a labelled transition system.
Prior work has shown that there is a clear connection between Hennessy-Milner logic, strong bisimilarity and strong apartness.
In this talk, I discuss the connection between apartness and bisimulation games.
In particular, I show that in a bisimulation game,
winning strategies for Spoiler can be obtained from apartness proofs, and, vice versa, apartness proofs can be produced from winning Spoiler strategies.

This is joint work with Tim Willemse