Komi Golova
/about
/research
/teaching
Directed bisimulations
Earlier work with Herman Geuvers.