2015
Enhanced coalgebraic bisimulation
Publication
Publication
Additional Metadata | |
---|---|
doi.org/10.1017/S0960129515000523 | |
preprint (not CWI, to be used with submitted papers) | |
Organisation | 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 |