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, }