%0 Conference Paper %1 conf/concur/BonchiPPR15 %A Bonchi, Filippo %A Petrisan, Daniela %A Pous, Damien %A Rot, Jurriaan %B CONCUR %D 2015 %E Aceto, Luca %E de Frutos-Escrig, David %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K %P 240-253 %T Lax Bialgebras and Up-To Techniques for Weak Bisimulations. %U http://dblp.uni-trier.de/db/conf/concur/concur2015.html#BonchiPPR15 %V 42 %@ 978-3-939897-91-0

@inproceedings{conf/concur/BonchiPPR15, added-at = {2023-12-12T23:54:03.000+0100}, author = {Bonchi, Filippo and Petrisan, Daniela and Pous, Damien and Rot, Jurriaan}, biburl = {https://www.bibsonomy.org/bibtex/270270805a5a1c734e293d1fd55971d32/admin}, booktitle = {CONCUR}, crossref = {conf/concur/2015}, editor = {Aceto, Luca and de Frutos-Escrig, David}, ee = {https://doi.org/10.4230/LIPIcs.CONCUR.2015.240}, interhash = {5bec3cf051152222b40cf5b2b9046bfd}, intrahash = {70270805a5a1c734e293d1fd55971d32}, isbn = {978-3-939897-91-0}, keywords = {}, pages = {240-253}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2023-12-12T23:54:03.000+0100}, title = {Lax Bialgebras and Up-To Techniques for Weak Bisimulations.}, url = {http://dblp.uni-trier.de/db/conf/concur/concur2015.html#BonchiPPR15}, volume = 42, year = 2015 }