Constraint Satisfaction, Constraint Programming, and Concurrency