Additional Metadata
THEME Software (theme 1)
Persistent URL dx.doi.org/10.1017/S0960129515000523
Series preprint (not CWI, to be used with submitted papers)
Note accepted for Mathematical Structures in Computer Science
Citation
Rot, J.C, Bonchi, F, Bonsangue, M.M, Pous, D, Rutten, J.J.M.M, & Silva, A.M. (2015). Enhanced coalgebraic bisimulation. preprint (not CWI, to be used with submitted papers). doi:10.1017/S0960129515000523