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. 53-81 1997 30 J. Log. Program. 1 db/journals/jlp/jlp30.html#CodishFMW97