Enhanced coalgebraic bisimulation

Additional Metadata
THEME	Software (theme 1)
Persistent URL	doi.org/10.1017/S0960129515000523
Series	preprint (not CWI, to be used with submitted papers)
Note	accepted for Mathematical Structures in Computer Science
Organisation	Computer Security
Citation APA APA Style APA-ALL Style AAA Style Cell Style Chicago Style Harvard Style IEEE Style MLA Style Nature Style Vancouver Style American-Institute-of-Physics Style Council-of-Science-Editors Style BibTex Format Endnote Format RIS Format CSL Format DOIs only Format	Rot, J., Bonchi, F., Bonsangue, M., Pous, D., Rutten, J.& Silva, A. (2015). Enhanced coalgebraic bisimulation. In preprint (not CWI, to be used with submitted papers).https://doi.org/10.1017/S0960129515000523

Publication