@article{Bonchi2015,
 author = {Filippo Bonchi and
Stefan Milius and
Alexandra Silva and
Fabio Zanasi},
 doi = {10.1016/J.TCS.2015.03.024},
 journal = {Theoretical Computer Science (TCS)},
 title = {Killing epsilons with a dagger: {A} coalgebraic study of systems with algebraic label structure},
 year = {2015}
}

{"_id":"GEg48pFNzjhJs4Fx3","bibbaseid":"bonchi-milius-silva-zanasi-killingepsilonswithadaggeracoalgebraicstudyofsystemswithalgebraiclabelstructure-2015","author_short":["Bonchi, F.","Milius, S.","Silva, A.","Zanasi, F."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Filippo"],"propositions":[],"lastnames":["Bonchi"],"suffixes":[]},{"firstnames":["Stefan"],"propositions":[],"lastnames":["Milius"],"suffixes":[]},{"firstnames":["Alexandra"],"propositions":[],"lastnames":["Silva"],"suffixes":[]},{"firstnames":["Fabio"],"propositions":[],"lastnames":["Zanasi"],"suffixes":[]}],"doi":"10.1016/J.TCS.2015.03.024","journal":"Theoretical Computer Science (TCS)","title":"Killing epsilons with a dagger: A coalgebraic study of systems with algebraic label structure","year":"2015","bibtex":"@article{Bonchi2015,\n author = {Filippo Bonchi and\nStefan Milius and\nAlexandra Silva and\nFabio Zanasi},\n doi = {10.1016/J.TCS.2015.03.024},\n journal = {Theoretical Computer Science (TCS)},\n title = {Killing epsilons with a dagger: {A} coalgebraic study of systems with algebraic label structure},\n year = {2015}\n}\n\n","author_short":["Bonchi, F.","Milius, S.","Silva, A.","Zanasi, F."],"key":"Bonchi2015","id":"Bonchi2015","bibbaseid":"bonchi-milius-silva-zanasi-killingepsilonswithadaggeracoalgebraicstudyofsystemswithalgebraiclabelstructure-2015","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"https://alexandrasilva.org/files/silva.bib","dataSources":["BQAtJ795ujcMgoxSg","g3oJeDsRp4CMAYtS6"],"keywords":[],"search_terms":["killing","epsilons","dagger","coalgebraic","study","systems","algebraic","label","structure","bonchi","milius","silva","zanasi"],"title":"Killing epsilons with a dagger: A coalgebraic study of systems with algebraic label structure","year":2015}