---

Vijay A. Saraswat. The category of constraint systems is Cartesian-closed . Proceedings of the Seventh Ann. IEEE. Symp. on Logic in Computer Science, Santa Cruz, July 1992.

Vijay A. Saraswat and Patrick Lincoln. Higher-order, linear, concurrent constraint programming . Technical Report, Xerox PARC, 1992.

Radha Jagadeesan, Vijay A. Saraswat, Vasant Shanbhogue. Angelic non-determinism in concurrent constraint programming. Technical Report, Xerox PARC, 1992.

Vijay A. Saraswat, Martin Rinard and Prakash Panangaden. Semantic foundations of concurrent constraint programming . Proc. of the 18th Ann. ACM-SIGPLAN-SIGACT Sym. on the Principles of Prog. Lang., Orlando, January 1991.

Vijay A. Saraswat. Concurrency in the Lambda-calculus: Higher-order Concurrent Constraint Programming. Technical Report, Xerox PARC, 1991.