2015-12-09
Enhanced coalgebraic bisimulation
Publication
Publication
Additional Metadata | |
---|---|
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. Mathematical Structures in Computer Science, 1–29.
|