Enhanced coalgebraic bisimulation (0)

by J Rot, F Bonchi, M Bonsangue, D Pous, J Rutten, A Silva