Concurrent constraint programming and linear logic (abstract).

François Fages Concurrent constraint programming and linear logic (abstract). 44 2000 PPDP http://doi.acm.org/10.1145/351268.351274 db/conf/ppdp/ppdp2000.html#Fages00