Cc

Concurrent Constraints

A family of languages generalizing CLP[2], including concurrency, atomic tell and blocking ask.

Concurrent Constraint Programming, Vijay Saraswat, MIT Press, 1993.