Unfolding and Fixpoint Semantics of Concurrent Constraint Logic Programs

Maurizio Gabbrielli, Giorgio Levi. Unfolding and Fixpoint Semantics of Concurrent Constraint Logic Programs. Theoretical Computer Science, 105(1):85-128, 1992.

Abstract

Abstract is missing.