Sylvain Soliman  Home/Search
Context
Related
| contraintes.inria.fr/~solim...csl.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: contraintes.inria.fr/~solim...moi (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We study the relation between Concurrent Constraint Programming languages (CC) and Linear Logic. CC processes have a direct translation into LL formulae which characterizes the entailment-closed observable properties of CC computations as provable formulae in LL. (Update)
Similar documents (at the sentence level): More
41.0%: The Linear Logic Semantics of Concurrent Constraint Programs.. - Fages, Soliman (Correct)
13.2%: Linear Concurrent Constraint Programming: Operational and.. - Fages, Ruet, Soliman (1997) (Correct)
10.4%: Phase Model Checking for some Linear Logic - Soliman (Correct)
Active bibliography (related documents): More All
1.8: A Precise Logical Semantics of Concurrent Constraint Programs - Fages, Soliman (Correct)
0.6: Concurrent Constraint Programming and Non-Commutative Logic - Ruet, Fages (1998) (Correct)
0.5: Phase Semantics and Verification of Concurrent Constraint.. - Fages, Ruet, Soliman (1998) (Correct)
Similar documents based on text: More All
0.6: Concurrent Constraint Programming and Non-Commutative Linear.. - Ruet, Fages (1996) (Correct)
0.5: CMBSlib: a Library for Comparing Formalisms and Models of.. - Soliman, Fages (2004) (Correct)
0.4: Expressiveness and Complexity of Concurrent Constraint.. - Fages, Soliman, Vianu (Correct)
BibTeX entry: (Update)
@misc{ soliman-precise,
author = "Sylvain Soliman",
title = "A Precise Logical Semantics of Concurrent Constraint Programs",
url = "citeseer.ist.psu.edu/525693.html" }
Citations (may not include all citations):344 Concurrent constraint programming (context) - Saraswat - 1993
340 Uniform proofs as a foundation for logic programming (context) - Miller, Nadathur et al. - 1991
257 Logic programming in a fragment of intuitionistic linear log.. - Hodas, Miller - 1994
254 Theoretical Computer Science (context) - Berry, Boudol et al. - 1992
232 Linda in context (context) - Carriero, Gelenter - 1989
223 Linear objects: Logical processes with built-in inheritance - Andreoli, Pareschi - 1991
216 Semantic foundations of concurrent constraint programming - Saraswat, Rinard et al. - 1991
79 A uniform proof-theoretic investigation of linear loigc prog.. - Pym, Harland - 1994
45 Asynchrony and the -calculus (context) - Boudol - 1992
39 Proving concurrent constraint programs correct - de Boer, Gabbrielli et al. - 1997
29 Non-commutative logic II : sequent calculus and phase semant.. - Ruet - 2000
27 Angelic nondeterminism in concurrent constraint programming - Jagadeesan, Shanbhogue et al. - 1991
25 Logique non-commutative et programmation concurrente par con.. (context) - Ruet - 1997
24 Higher-order linear concurrent constraint programming - Saraswat, Lincoln - 1992
18 Annals of Pure and Applied Logic (context) - Andreoli, proof - 2001
18 Concurrent constraint programming with information removal (context) - Best, de Boer et al. - 1997
14 Concurrent constraint programming and noncommutative logic - Ruet, Fages - 1998
13 Partially commutative linear logic: sequent calculus and pha.. - de Groote - 1996
11 Phase semantics and veri cation of concurrent constraint pro.. (context) - Fages, Ruet et al. - 1998
10 Linear concurrent constraint programming: operational and ph.. - Fages, Ruet et al. - 2001
9 testing and observation equivalence for processes in a linea.. (context) - Kobayashi, Yonezawa - 1993
9 Concurrent programming in linear logic (context) - Perrier - 1995
8 The design and implementation of an actor language based on .. (context) - Tse - 1994
5 Linear logic programming with ordered contexts - Polakow - 2000
5 Constraint programming for concurrent and distributed comput.. (context) - Palamidessi - 1997
5 Proof construction and non-commutativity: a cluster calculus - Faggian - 2000
3 Mobility in the cc-paradigm - Laneve, Montanari - 1992
2 Phase model checking for some linear logic calculi (context) - Soliman - 2001
Documents on the same site (http://contraintes.inria.fr/~soliman/moi.html):
Phase Model Checking for some Linear Logic - Soliman (Correct)
CLP Implementation of a Phase Model Checker - Soliman (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