Enhanced coalgebraic bisimulation. Rot, J., Bonchi, F., Bonsangue, M. M., Pous, D., Rutten, J., & Silva, A. Mathematical Structures in Computer Science (MSCS), 2017.
doi  bibtex   
@article{Rot2017,
 author = {Jurriaan Rot and
Filippo Bonchi and
Marcello M. Bonsangue and
Damien Pous and
Jan Rutten and
Alexandra Silva},
 doi = {10.1017/S0960129515000523},
 journal = {Mathematical Structures in Computer Science (MSCS)},
 title = {Enhanced coalgebraic bisimulation},
 year = {2017}
}

Downloads: 0