The semantic foundations of concurrent constraint programming
Vijay Saraswat, Martin Rinard, Prakash Panangaden · 1991
Concurrent constraint programming [Sar89 ,SR90] is a simple and powerful model of concurrent computation based on the notions of store-as-constraint and process as information combinators in the language, can be used for proving liveness properties of programs, and is fully abstract with respect to the obvious notion of observation.