## Concurrent Constraint Programming and Non-Commutative Linear Logic (Extended Abstract) (1996)

by
Paul Ruet
,
Francois Fages

Citations: | 9 - 5 self |

### BibTeX

@MISC{Ruet96concurrentconstraint,

author = {Paul Ruet and Francois Fages},

title = {Concurrent Constraint Programming and Non-Commutative Linear Logic (Extended Abstract)},

year = {1996}

}

### OpenURL

### Abstract

This paper presents a precise connection between a non-commutative version of intuitionistic linear logic (INLL) and concurrent constraint programming (cc). The contribution of this paper is twofold: ffl on the one hand, we refine existing logical characterizations of operational aspects of concurrent constraint programming, by providing a logical interpretation of finer observable properties of cc programs, namely successes and suspensions. ffl on the other ha...