Andrés A. Aristizábal P.
Bisimilarity in Concurrent Constraint Programming
ICLP, 2010.
@inproceedings{ICLP-2010-P10,
author = "Andrés A. Aristizábal P.",
booktitle = "{Technical Communications of the 26th International Conference on Logic Programming}",
doi = "10.4230/LIPIcs.ICLP.2010.236",
isbn = "978-3-939897-17-0",
pages = "236--240",
publisher = "{Schloss Dagstuhl — Leibniz-Zentrum für Informatik}",
series = "{Leibniz International Proceedings in Informatics}",
title = "{Bisimilarity in Concurrent Constraint Programming}",
volume = 7,
year = 2010,
}











