Frank S. de Boer, Catuscia Palamidessi
A Fully Abstract Model for Concurrent Constraint Programming
TAPSOFT, 1991.
@inproceedings{CAAP-1991-BoerP,
author = "Frank S. de Boer and Catuscia Palamidessi",
booktitle = "{Proceedings of the Fourth International Joint Conference on Theory and Practice of Software Development, Volume 1: Colloquium on Trees in Algebra and Programming}",
doi = "10.1007/3-540-53982-4_17",
isbn = "3-540-53982-4",
pages = "296--319",
publisher = "{Springer}",
title = "{A Fully Abstract Model for Concurrent Constraint Programming}",
year = 1991,
}











