Concurrent Constraint Programming

(CCP) Not a language, but a general approach.

[Details?]