Linear concurrent constraint programming: operational and phase semantics

Linear concurrent constraint programming: operational and phase semantics (2000)

Cached

Download Links

Other Repositories/Bibliography

DBLP

by François Fages , Paul Ruet , Sylvain Soliman

Citations:

25 - 8 self

BibTeX

@MISC{Fages00linearconcurrent,
    author = {François Fages and Paul Ruet and Sylvain Soliman},
    title = {Linear concurrent constraint programming: operational and phase semantics},
    year = {2000}
}

Years of Citing Articles

Bookmark

OpenURL

Abstract

Citations

933	A calculus of mobile processes - Milner, Parrow, et al. - 1992
742	Constraint logic programming - JAFFAR, LASSEZ - 1987
704	Constraint Logic Programming: A Survey - Jaffar, Maher - 1994
668	Linda in context - Carriero, Gelernter - 1989
426	The chemical abstract machine - Berry, Boudol - 1990
334	Uniform proofs as a foundation for logic programming - Miller, Nadathur, et al. - 1991
283	Logic Programming in a Fragment of Intuitionistic Linear Logic - Hodas, Miller - 1994
235	Semantic foundations of concurrent constraint programming - Saraswat, Rinard, et al. - 1991
201	Linear objects: Logical processes with built-in inheritance - Andreoli, Pareschi - 1991
136	Logic for Computer Science: Foundations of Automatic Theorem - Gallier - 1986
125	Logic Semantics for a Class of Committed-choice Programs - Maher - 1987
116	Negation and Constraint Logic Programming - Stuckey - 1995
85	Decision problems for propositional linear logic - Lincoln, Mitchell, et al. - 1992
76	V.: Foundations of timed concurrent constraint programming - Saraswat, Jagadeesan, et al. - 1994
64	Constraint processing in CC(FD - Hentenryck, Saraswat, et al. - 1992
52	Proving concurrent constraint programs correct - Boer, Gabbrielli, et al. - 1997
33	Concurrent Constraint Programming. ACM Doctoral Dissertation Awards: Logic Programming - Saraswat - 1993
29	V.A.: Angelic non-determinism in concurrent constraint programming - Jagadeesan, Shanbhogue, et al. - 1991
28	Higher-order linear concurrent constraint programming - Saraswat, Lincoln - 1992
26	Concurrent constraint programming with information removal - Best, Boer, et al. - 1997
26	Proof Search in First-order Linear Logic and Other Cut-free Sequent Calculi - Lincoln, Shankar - 1994
22	Constructive negation by pruning - Fages - 1997
21	Logique non-commutative et programmation concurrente par contraintes - Ruet - 1997
14	Operational semantics of constraint logic programs with coroutining - Podelski, Smolka - 1995
12	The undecidability of second order multiplicative linear logic - Lafont, Scedrov - 1996
10	Phase semantics and verification of concurrent constraint programs - Fages, Ruet, et al. - 1998
9	Concurrent constraint programming and noncommutative logic - Ruet, Fages - 1998
8	Logical, testing and observation equivalence for processes in a linear logic programming - Kobayashi, Yonezawa - 1993
8	Girard’s phase semantics and a higher-order cut-elimination proof - Okada - 1994
8	Concurrent programming in linear logic - Perrier - 1995
7	The design and implementation of an actor language based on linear logic - Tse - 1994
5	Proofs as concurrent processes - Lincoln, Saraswat - 1991
2	Model theoretic construction of the operational semantics of logic programs - Falaschi, Levi, et al. - 1993