Enhanced coalgebraic bisimulation. Rot, J., Bonchi, F., Bonsangue, M. M., Pous, D., Rutten, J., & Silva, A. Mathematical Structures in Computer Science (MSCS), 2017. doi bibtex @article{Rot2017,
author = {Jurriaan Rot and
Filippo Bonchi and
Marcello M. Bonsangue and
Damien Pous and
Jan Rutten and
Alexandra Silva},
doi = {10.1017/S0960129515000523},
journal = {Mathematical Structures in Computer Science (MSCS)},
title = {Enhanced coalgebraic bisimulation},
year = {2017}
}
Downloads: 0
{"_id":"58Zp3Et9ggXJywe29","bibbaseid":"rot-bonchi-bonsangue-pous-rutten-silva-enhancedcoalgebraicbisimulation-2017","author_short":["Rot, J.","Bonchi, F.","Bonsangue, M. M.","Pous, D.","Rutten, J.","Silva, A."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Jurriaan"],"propositions":[],"lastnames":["Rot"],"suffixes":[]},{"firstnames":["Filippo"],"propositions":[],"lastnames":["Bonchi"],"suffixes":[]},{"firstnames":["Marcello","M."],"propositions":[],"lastnames":["Bonsangue"],"suffixes":[]},{"firstnames":["Damien"],"propositions":[],"lastnames":["Pous"],"suffixes":[]},{"firstnames":["Jan"],"propositions":[],"lastnames":["Rutten"],"suffixes":[]},{"firstnames":["Alexandra"],"propositions":[],"lastnames":["Silva"],"suffixes":[]}],"doi":"10.1017/S0960129515000523","journal":"Mathematical Structures in Computer Science (MSCS)","title":"Enhanced coalgebraic bisimulation","year":"2017","bibtex":"@article{Rot2017,\n author = {Jurriaan Rot and\nFilippo Bonchi and\nMarcello M. Bonsangue and\nDamien Pous and\nJan Rutten and\nAlexandra Silva},\n doi = {10.1017/S0960129515000523},\n journal = {Mathematical Structures in Computer Science (MSCS)},\n title = {Enhanced coalgebraic bisimulation},\n year = {2017}\n}\n\n","author_short":["Rot, J.","Bonchi, F.","Bonsangue, M. M.","Pous, D.","Rutten, J.","Silva, A."],"key":"Rot2017","id":"Rot2017","bibbaseid":"rot-bonchi-bonsangue-pous-rutten-silva-enhancedcoalgebraicbisimulation-2017","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"https://alexandrasilva.org/files/silva.bib","dataSources":["BQAtJ795ujcMgoxSg","g3oJeDsRp4CMAYtS6"],"keywords":[],"search_terms":["enhanced","coalgebraic","bisimulation","rot","bonchi","bonsangue","pous","rutten","silva"],"title":"Enhanced coalgebraic bisimulation","year":2017}