Lincoln, P. and V. Saraswat, Higher-order, linear, concurrent constraint programming (1993), manuscript. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
First Order Linear Logic without Modalities is NEXPTIME-Hard - Lincoln, Scedrov (1994) (9 citations) Self-citation (Lincoln Linear) (Correct)
No context found.
V. Saraswat and P. Lincoln. Higher-order, linear, concurrent constraint programming. Draft, January 1993.
Relating State-Based and Process-Based Concurrency through.. - Cervesato, Scedrov (2006) (Correct)
No context found.
Lincoln, P. and V. Saraswat, Higher-order, linear, concurrent constraint programming (1993), manuscript.
The Logical Meeting Point of Multiset Rewriting and Process.. - Cervesato (2004) (3 citations) (Correct)
No context found.
P. Lincoln and V. Saraswat. Higher-order, linear, concurrent constraint programming. Manuscript, 1993.
Pascal Van Hentenryck - Brown University Laurent (2000) (Correct)
No context found.
SARASWAT, V. 1993. Concurrent Constraint Programming. ACM Doctoral Dissertation Awards: Logic Programming. The MIT Press, Cambridge, MA.
A Logic-Based Concurrent Object-Oriented - Programming Language Rafael (Correct)
No context found.
Saraswat, V., and Rinard, M. 1990.Concurrent Constraint Programming. Proceedings of the 7th Annual ACM Symposium on Principles of Programming Languages.
On the Expressive Power of Extended Process Rewrite Systems - Kretinsky, al. (2004) (Correct)
No context found.
V. A. Saraswat and M. Rinard. Concurrent constraint programming. In Proc. of 17th POPL, pages 232--245. ACM Press, 1990.
Process Algebra for Agent Communication: - General Semantic Approach (Correct)
No context found.
V.A. Saraswat. Concurrent Constraint Programming. The MIT Press, Cambridge, Massachusetts, 1993.
D-Fusion: a Distinctive Fusion Calculus - Boreale, Buscemi, Montanari (Correct)
No context found.
V. Saraswat. Concurrent Constraint Programming. The MIT Press, 1993.
Abstractions for Fault-Tolerant Global Computing - Chothia, Duggan (2004) (1 citation) (Correct)
No context found.
V. Saraswat, M. Rinard, Concurrent constraint programming, in: Proceedings of ACM Symposium on Principles of Programming Languages, 1990.
A π-calculus Semantics of Logical Variables and Unification - Ross (1993) (Correct)
No context found.
V. Saraswat and M. Rinard. Concurrent Constraint Programming. In Proceedings 17th Principles of Programming Languages, pages 232--245, San Francisco, 1990.
Boolean and Finite Domain solvers compared using Self.. - Fernández, Hill (Correct)
No context found.
SARASWAT V.A., Concurrent Constraint Programming. The MIT Press, 1993.
Logic Programming Languages for the Internet - Davison (2001) (3 citations) (Correct)
No context found.
Saraswat, V.J. 1993. Concurrent Constraint Programming, MIT Press.
History Dependent Automata - Montanari, Pistore (2001) (3 citations) (Correct)
No context found.
V. A. Saraswat. Concurrent Constraint Programming. MIT Press, 1993.
Cooperative Solvers in Constraint Programming: a Short .. - Granvilliers.. (2001) (2 citations) (Correct)
No context found.
Saraswat, V. Concurrent Constraint Programming. MIT Press, Cambridge, London, 1993.
Pi-calculus and LCC, a Space Odyssey - Soliman (2003) (Correct)
No context found.
V. Saraswat. Concurrent constraint programming. ACM Doctoral Dissertation Awards. MIT Press, 1993.
Partial Order and Contextual Net Semantics for.. - Bueno.. (2000) (4 citations) (Correct)
No context found.
V. A. Saraswat and M. Rinard. Concurrent constraint programming. In Proc. POPL. ACM, 1990.
Partial Order and Contextual Net Semantics for.. - Bueno.. (2000) (4 citations) (Correct)
No context found.
V.A. Saraswat. Concurrent Constraint Programming. MIT Press, 1993.
J. Logic Programming 1994:19, 20:1--679 1 Constructive.. - Fran Cois Fages (Correct)
No context found.
Saraswat, V., Concurrent Constraint Programming, MIT Press, 1993.
Two Formal Approaches for Approximating.. - Aldini, Bravetti.. (2004) (Correct)
No context found.
V.A. Saraswat and M. Rinard. Concurrent constraint programming. In Symposium on Principles of Programming Languages (POPL), pp. 232-- 245, ACM Press, 1990.
On Completion of Constraint Handling Rules - Abdennadher, Frühwirth (1998) (2 citations) (Correct)
No context found.
V. A. Saraswat. Concurrent Constraint Programming. MIT Press, Cambridge, 1993. This article was processed using the L A T E X macro package with LLNCS style
A Theoretical Framework for Tradeoff Generation Using.. - Bistarelli, O'Sullivan (Correct)
No context found.
V.A. Saraswat. Concurrent Constraint Programming. MIT Press, 1993.
A Model for Declarative Programming and Specification with.. - Caires (1999) (Correct)
No context found.
P. Lincoln and V. Saraswat. Higher-order, linear, concurrent constraint programming. Unpublished manuscript, 1993.
A compositional Semantics for CHR - Maurizio Gabbrielli And (Correct)
No context found.
V.A. Saraswat and M. Rinard. Concurrent constraint programming. In Proc. of POPL, pages 232--245. ACM Press, 1990.
Soft Concurrent Constraint Programming - Stefano Bistarelli Ugo (2002) (3 citations) (Correct)
No context found.
V.A. Saraswat. Concurrent Constraint Programming. MIT Press, 1993.
Temporal Concurrent Constraint Programming: Applications and .. - Nielsen, Valencia (2001) (Correct)
No context found.
V. Saraswat. Concurrent Constraint Programming. The MIT Press, Cambridge, MA, 1993.
First 50 documents Next 50
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