Highly Influenced

# Concurrent Constraint Programming and Non-commutative Logic

@inproceedings{Ruet1997ConcurrentCP, title={Concurrent Constraint Programming and Non-commutative Logic}, author={Paul Ruet and François Fages}, booktitle={CSL}, year={1997} }

- Published 1997 in CSL
DOI:10.1007/BFb0028028

This paper presents a connection between the intuitionis-tic fragment of a non-commutative version of linear logic introduced by the rst author (NLI) and concurrent constraint programming (CC). We reene existing logical characterizations of operational aspects of CC, by providing a logical interpretation of ner observable properties of CC programs, namely stores, successes and suspensions.