Concurrent constraint programming - Saraswat, Vijay (ACM doctoral dissertation award, 1993)