Denotational semantics for Concurrent Constraint Programs analyses.

Published in: ICLP Workshop: Verification and Analysis of (Concurrent) Logic Languages (1994)