@COMMENT{{{This file has been generated by bib2bib 1.74}}
@COMMENT{{{Command line: ./bib2bib -c 'year>=1998 & year <= 2013' -c 'author: "bonchi"' papers.bib}}
@INPROCEEDINGS{aristizabal:hal-00641408, ADDRESS = {Trento, Italy}, AUTHOR = {Aristizabal, Andr{\'e}s and Bonchi, Filippo and Pino, Luis and Valencia, Frank D.}, BOOKTITLE = {{27th ACM Symposium On Applied Computing}}, TITLE = {{Partition Refinement for Bisimilarity in CCP}}, URL = {http://hal.inria.fr/hal-00641408}, X-ID-HAL = {hal-00641408}, X-INTERNATIONAL-AUDIENCE = {yes}, X-PROCEEDINGS = {yes}, YEAR = {2012} }
@INPROCEEDINGS{aristizabal:hal-00761611, ADDRESS = {Stockholm, Sweden}, AUTHOR = {Aristizabal, Andr{\'e}s and Bonchi, Filippo and Pino, Luis and Valencia, Frank D.}, BOOKTITLE = {{Fifth Interaction and Concurrency Experience}}, DOI = {10.4204/EPTCS.104}, MONTH = DEC, NOTE = {EPTCS}, PAGES = {2-16}, TITLE = {{Reducing Weak to Strong Bisimilarity in CCP}}, URL = {http://hal.inria.fr/hal-00761611}, X-ID-HAL = {hal-00761611}, X-INTERNATIONAL-AUDIENCE = {yes}, X-PROCEEDINGS = {yes}, YEAR = {2012} }
@INPROCEEDINGS{aristizabal:2011:hal-00546722:1, AUTHOR = {Aristizabal, Andr\'es and Bonchi, Filippo and Palamidessi, Catuscia and Pino, Luis and Valencia, Frank D.}, TITLE = {{Deriving Labels and Bisimilarity for Concurrent Constraint Programming}}, BOOKTITLE = { {Proceedings of the 14th International Conference on Foundations of Software Science an Computation Structures (FOSSACS 2011). }}, YEAR = {2011}, SERIES = {Lecture Notes in Computer Science}, EDITOR = {Martin Hofmann}, DOI = {10.1007/ISBN 978-3-642-19804-5}, PUBLISHER = {Springer}, VOLUME = {6604}, PAGES = {138-152}, ADDRESS = {Saarbr{\"u}cken, Germany}, X-INTERNATIONAL-AUDIENCE = {yes}, X-PROCEEDINGS = {yes}, URL = {http://hal.inria.fr/hal-00546722/en}, X-ID-HAL = {hal-00546722} }
@INPROCEEDINGS{aristizabal:2011:hal-00641408:1, AUTHOR = {Aristizabal, Andr{\'e}s and Bonchi, Filippo and Pino, Luis and Valencia, Frank D.}, TITLE = {{Partition Refinement for Bisimilarity in CCP}}, YEAR = {2012}, BOOKTITLE = {Proceedings of the 27th ACM Symposium On Applied Computing to be held in Riva del Garda (Trento), Italy. March 26-30, 2012}, PUBLISHER = {ACM}, X-INTERNATIONAL-AUDIENCE = {yes}, X-PROCEEDINGS = {yes}, URL = {http://hal.inria.fr/hal-00641408/en}, X-ID-HAL = {hal-00641408} }
This file has been generated by bibtex2html 1.74