Frank S. de Boer, Catuscia Palamidessi
A Process Algebra of Concurrent Constraint Programming
ICLP, 1992.
@inproceedings{JICSLP-1992-BoerP, author = "Frank S. de Boer and Catuscia Palamidessi", booktitle = "{Proceedings of the Joint International Ninth Conference and Symposium on Logic Programming}", isbn = "0-262-51064-2", pages = "463--477", publisher = "{MIT Press}", title = "{A Process Algebra of Concurrent Constraint Programming}", year = 1992, }