A Process Algebra of Concurrent Constraint Programming.

Frank S. de Boer, Catuscia Palamidessi

Browse the full ICLP paper archive.