doi.org/10.1017/S0960129515000523
preprint (not CWI, to be used with submitted papers)
Computer Security

Rot, J., Bonchi, F., Bonsangue, M., Pous, D., Rutten, J., & Silva, A. (2015). Enhanced coalgebraic bisimulation. preprint (not CWI, to be used with submitted papers). doi:10.1017/S0960129515000523