Paul Ruet, François Fages  Home/Search
Context Related
| ens.fr/~ruet/PAPIERS/ccnll97.ps.gz dmi.ens.fr/~fages/Papers/CSL97.ps.gz ens.fr/~fages/Papers/CSL97.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: uniroma3.it/filosof/rue...papiers (more) From: ens.fr/~fages/papers (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . This paper presents a connection between the intuitionistic fragment of a non-commutative version of linear logic introduced by the first author (NLI) and concurrent constraint programming (CC). We refine existing logical characterizations of operational aspects of CC, by providing a logical interpretation of finer observable properties of CC programs, namely stores, successes and suspensions. 1 Introduction The class CC(X ) of Concurrent Constraint programming languages introduced by... (Update)
Context of citations to this paper: More
.... interest in this context are the synchronization constraints which are roughly linear atomic constraints without non logical axioms [23]. An ask with a synchronization constraint without 8 amounts to simple multiset manipulations and is thus deterministic. We shall see...
Cited by: More
Connection-Based Proof Construction in Non-Commutative Logic - Galmiche, Notin (Correct)
Linear Concurrent Constraint Programming: Operational and.. - Fages, Ruet, Soliman (1997) (Correct)
On Bunched Typing - Peter Hearn Department (2002) (Correct)
Similar documents (at the sentence level):
9.0%: Concurrent Constraint Programming and Non-Commutative Linear.. - Ruet, Fages (1996) (Correct)
Active bibliography (related documents): More All
0.7: Phase Semantics for Mixed Non-Commutative Classical Linear Logic - Ruet (Correct)
0.6: A Precise Logical Semantics of Concurrent Constraint Programs - Soliman (Correct)
0.5: The Linear Logic Semantics of Concurrent Constraint Programs.. - Fages, Soliman (Correct)
Similar documents based on text: More All
0.4: Phase Model Checking for some Linear Logic - Soliman (Correct)
0.3: CLP Implementation of a Phase Model Checker - Soliman (Correct)
0.2: Combining Explicit Negation and Negation by Failure via.. - Ruet, Fages (1996) (Correct)
Related documents from co-citation: More All
9: Logique non-commutative et programmation concurrente par contraintes (context) - Ruet - 1997
8: Angelic nondeterminism in concurrent constraint programming - Jagadeesan, Shanbhogue et al. - 1991
8: Higher-order linear concurrent constraint programming - Saraswat, Lincoln - 1992
BibTeX entry: (Update)
P. Ruet and F. Fages. Concurrent constraint programming and noncommutative logic. In Computer Science Logic'97, LNCS. Springer-Verlag, 1998. http://citeseer.ist.psu.edu/ruet98concurrent.html More
@inproceedings{ ruet97concurrent,
author = "Paul Ruet and Francois Fages",
title = "Concurrent Constraint Programming and Non-commutative Logic",
booktitle = "{CSL}",
pages = "406-423",
year = "1997",
url = "citeseer.ist.psu.edu/ruet98concurrent.html" }
Citations (may not include all citations):982 Theoretical Computer Science (context) - Girard - 1987
854 Information and Computation (context) - Milner, Parrow et al. - 1992
561 Constraint logic programming (context) - Jaffar, Lassez - 1987
344 Concurrent constraint programming (context) - Saraswat - 1993
254 Theoretical Computer Science (context) - Berry, Boudol et al. - 1992
248 The mathematics of sentence structure (context) - Lambek - 1958
223 Linear objects: logical processes with built-in inheritance - Andreoli, Pareschi - 1991
216 Semantic foundations of concurrent constraint programming - Saraswat, Rinard et al. - 1991
151 Logic semantics for a class of committed-choice programs (context) - Maher - 1987
77 Constructive negation for constraint logic programming (context) - Stuckey - 1995
69 calculus as a theory in linear logic: preliminary results (context) - Miller - 1992
68 Towards a geometry of interaction (context) - Girard - 1989
33 From petri nets to linear logic (context) - Marti-Oliet, Meseguer - 1989
31 Computationally tractable classes of ordered sets (context) - Mohring - 1989
28 Constructive negation by pruning - Fages - 1997
27 Angelic non-determinism in concurrent constraint programming - Jagadeesan, Shanbhogue et al. - 1991
24 Higher-order linear concurrent constraint programming - Saraswat, Lincoln - 1992
22 Operational semantics of constraint logic programming with c.. - Podelski, Smolka - 1995
18 Concurrent constraint programming with information removal (context) - Best, de Boer et al. - 1997
13 Partially commutative linear logic: sequent calculus and pha.. - de Groote - 1996
11 non-commutative (context) - Yetter - 1990
10 Linear concurrent constraint programming: operational and ph.. - Fages, Ruet et al. - 1997
9 testing and observation equivalence for processes in a linea.. (context) - Kobayashi, Yonezawa - 1993
8 A logical view of concurrent constraint programming - Mendler, Panangaden et al. - 1995
8 Proofs as concurrent processes (context) - Lincoln, Saraswat - 1991
7 Technical Report RR (context) - Boudol, the - 1992
5 Non-commutative logic and concurrent constraint programming (context) - Ruet - 1997
5 Constraint programming for concurrent and distributed comput.. (context) - Palamidessi - 1997
4 Non-commutative linear logic with mobilities (context) - Ruet - 1997
4 Concurrent programming as proof net construction - Perrier - 1996
4 Pomset logic - A non-commutative extension of commutative li.. (context) - Retor'e - 1997
4 Logical semantics of concurrent constraint programming (context) - Ruet - 1996
2 Proving correctness of constraint logic programming with dyn.. (context) - de Boer, Gabbrielli et al. - 1996
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.uniroma3.it/filosof/ruet/papiers.html):
Linear Concurrent Constraint Programming: Operational and.. - Fages, Ruet, Soliman (1998) (Correct)
Non-commutative logic I: the multiplicative fragment - Abrusci, Ruet (1998) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC