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 http://dx.doi.org/10.1016/S0743-1066(96)00013-1