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