More information on concurrent constraint programming
and its application can be found in (Van Roy & Haridi, 2004),(Apt, 2003), (Schulte & Smolka, 2000), (Barber & Salido, 2008).
Saraswat (1990) Actors as a Special Case of Concurrent Constraint Programming
A process algebra for concurrent constraint programming. In Proceedings of the Joint International Conference and Symposium on Logic Programming, K.
Compositional analysis for concurrent constraint programming. In Proceedings of the 8th Annual IEEE Symposium on Logic in Computer Science.
Saraswat, in Saraswat (1993), has proposed concurrent constraint programming
(CCP) as a model for specifying concurrent systems in terms of constraints.
Linear Concurrent Constraint Programming
: Operational and Phase Semantics.
Saraswat has had a major impact on the research community with his framework of concurrent constraint programming
. He is active in a large joint Esprit/NSF project called ACCLAIM based on his work.
Vijay Saraswat has won the 1989 ACM Doctoral Dissertation Award for his thesis, Concurrent Constraint Programming