2015
Enhanced coalgebraic bisimulation
Publication
Publication
Additional Metadata | |
---|---|
Software (theme 1) | |
doi.org/10.1017/S0960129515000523 | |
preprint (not CWI, to be used with submitted papers) | |
accepted for Mathematical Structures in Computer Science | |
Organisation | Computer Security |
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
|