A Confluent Semantic Basis for the Analysis of Concurrent Constraint Logic Programs

Michael Codish, Moreno Falaschi, Kim Marriott, William H. Winsborough. A Confluent Semantic Basis for the Analysis of Concurrent Constraint Logic Programs. Journal of Logic and Algebraic Programming, 30(1):53-81, 1997.

Abstract

Abstract is missing.