A Generalized Semantics for Concurrent Constraint Languages and their Abstract Interpretation.

Christian Codognet Philippe Codognet A Generalized Semantics for Concurrent Constraint Languages and their Abstract Interpretation. 39-49 1995 conf/cp/1995s Constraint Processing, Selected Papers db/conf/cp/cp1995s.html#CodognetC95a