2015-01-01
Enhanced coalgebraic bisimulation
Publication
Publication
| 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
|
