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, Proc.
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 Languages.