%0 Conference Paper %1 journals/entcs/Capretta10 %A Capretta, Venanzio %B MFPS %D 2010 %E Mislove, Michael W. %E Selinger, Peter %I Elsevier %K dblp %P 245-258 %T Bisimulations Generated from Corecursive Equations. %U http://dblp.uni-trier.de/db/journals/entcs/entcs265.html#Capretta10 %V 265

@inproceedings{journals/entcs/Capretta10, added-at = {2021-02-08T00:00:00.000+0100}, author = {Capretta, Venanzio}, biburl = {https://www.bibsonomy.org/bibtex/22f194233626071f5aafabe912e086dc5/dblp}, booktitle = {MFPS}, crossref = {conf/mfps/2010}, editor = {Mislove, Michael W. and Selinger, Peter}, ee = {https://doi.org/10.1016/j.entcs.2010.08.015}, interhash = {9301afe7110c118b83a3cebd4621ac37}, intrahash = {2f194233626071f5aafabe912e086dc5}, keywords = {dblp}, pages = {245-258}, publisher = {Elsevier}, series = {Electronic Notes in Theoretical Computer Science}, timestamp = {2024-04-10T06:13:19.000+0200}, title = {Bisimulations Generated from Corecursive Equations.}, url = {http://dblp.uni-trier.de/db/journals/entcs/entcs265.html#Capretta10}, volume = 265, year = 2010 }