2015-12-09
Enhanced coalgebraic bisimulation
Publication
Publication
Additional Metadata | |
---|---|
Mathematical Structures in Computer Science | |
Organisation | Computer Security |
Rot, J., Bonchi, F., Bonsangue, M., Pous, D., Rutten, J., & Silva, A. (2015). Enhanced coalgebraic bisimulation. Mathematical Structures in Computer Science, 1–29. |