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}
}
Bookmark
 |
 |
 |
 |
 |
 |
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...
