concurrent constraint programming: operational and phase semantics Francois Fages
|
886
|
A Calculus of Mobile Processes
– Milner, Parrow, et al.
- 1992
|
|
655
|
Constraint Logic Programming: A Survey
– Jaffar, Maher
- 1994
|
|
652
|
Linda in context
– Carriero, Gelernter
- 1989
|
|
413
|
The chemical abstract machine
– Berry, Boudol
- 1992
|
|
332
|
Uniform proofs as a foundation for logic programming
– Miller, Nadathur, et al.
- 1991
|
|
293
|
Logic programming in a fragment of Intuitionistic Linear Logic
– Hodas, Miller
- 1994
|
|
245
|
Semantics foundations of concurrent constraint programming
– Saraswat, Rinard, et al.
- 1991
|
|
231
|
Linear objects: logical processes with built-in inheritance
– Andreoli, Pareschi
- 1991
|
|
153
|
Logic semantics for a class of committed-choice programs
– Maher
- 1987
|
|
126
|
1986], Logic for Computer Science: Foundations of Automatic Theorem Proving
– Gallier
|
|
123
|
Negation and Constraint Logic Programming
– Stuckey
|
|
114
|
Constraint logic programming
– Jaar, Lassez
- 1987
|
|
79
|
Decision problems for propositional linear logic
– Lincoln, Mitchell, et al.
- 1990
|
|
74
|
Constraint processing in cc(fd
– Hentenryck, Saraswat, et al.
- 1992
|
|
71
|
Foundations of timed concurrent constraint programming
– Saraswat, Jagadeesan, et al.
- 1994
|
|
59
|
Proving concurrent constraint programs correct
– Boer, Gabbrielli, et al.
- 1997
|
|
35
|
Concurrent constraint programming. ACM Doctoral Dissertation Awards
– Saraswat
- 1993
|
|
33
|
Angelic non-determinism in concurrent constraint programming
– Jagadeesan, Shanbhogue, et al.
- 1991
|
|
33
|
Higher-order linear concurrent constraint programming
– Saraswat, Lincoln
- 1992
|
|
31
|
Concurrent Constraint Programming with Information Removal
– Best, Boer, et al.
- 1997
|
|
30
|
Encoding Transition Systems in Sequent Calculus
– McDowell, Miller, et al.
- 1996
|
|
27
|
Logique non-commutative et programmation concurrente par contraintes
– Ruet
- 1997
|
|
26
|
Constructive Negation by Pruning
– Fages
- 1997
|
|
24
|
Operational Semantics of Constraint Logic Programs with Coroutining
– Podelski, Smolka
- 1995
|
|
15
|
The undecidability of second order multiplicative linear logic
– Lafont, Scedrov
- 1996
|
|
12
|
Logical, testing and observation equivalence for processes in a linear logic programming
– Kobayashi, Yonezawa
- 1993
|
|
11
|
Girard's phase semantics and a higher-order cut-elimination proof
– Okada
- 1994
|
|
11
|
Concurrent programming in linear logic
– Perrier
- 1995
|
|
11
|
Concurrent constraint programming and noncommutative logic
– Ruet, Fages
- 1998
|
|
10
|
Phase Semantics and Veri of Concurrent Constraint Programs
– Fages, Ruet, et al.
- 1998
|
|
10
|
The design and implementation of an actor language based on linear logic
– Tse
- 1994
|
|
9
|
Completeness proofs for linear logic based on the proof search method (preliminary report
– Okada, Terui
- 1998
|
|
8
|
Proofs as concurrent processes
– Lincoln, Saraswat
- 1991
|
|
6
|
Logical semantics of concurrent constraint programming
– Ruet
- 1118
|
|
6
|
Non-monotonic concurrent constraint programming veri using phase semantics
– Yilma
- 1999
|
|
5
|
Model theoretic construction of the operational semantics of logic programs
– Falaschi, Levi, et al.
- 1993
|
|
3
|
Proof search in linear logic and other cut-free sequent calculi
– Lincoln, Shankar
- 1994
|
|
3
|
Programmation concurrente avec contraintes fond'ee sur la logique lin'eaire
– Schachter
- 1999
|
