N. Angelopoulos, D. Pierro, A. Wiklicky, and H. , Implementing randomised algorithms in constraint logic programming, Joint International Conference and Symposium on Logic Programming, 1998.

M. Carlsson, G. Ottosson, and B. Carlson, An OpenEnded Finite Domain Constraint Solver, Proc. of Programming Languages : Implementations , Logics, and Programs, 1997.

D. Pierro and H. Wiklicky, On probabilistic ccp, APPIA-GULP-PRODE, p.225234, 1997.

D. Pierro, H. Wiklicky, V. Gupta, R. Jagadeesan, P. Panangaden-gupta et al., Implementing randomised algorithms in constraint logic programming Stochastic processes as concurrent constraint programs Probabilistic concurrent constraint programming, Proceedings of the ERCIMMCompulog Workshop on Constraints Proceedings of Symposium on Principles of Programming Languages Proceedings of CONCUR, p.243257, 1997.

V. Hentenryck, Y. Saraswat, S. Deville, S. Janson, and . Haridi, Design, implementation, and evaluation of the constraint language ccfd Programming paradigms of the Andorra kernel language, Logic Programming, Proceedings of the 1991 International Symposium 99 M. Petit and A. Gotlieb. An ongoing work on statistical structural testing via probabilistic concurrent constraint programming Proc. of SIVOES-MODEVA workshop, p.167186, 1991.

A. Mpetit and . Gotlieb, Library of probabilistic constraint combinators beta version, available at http :::www.irisa.frrlandeepetitttools.html, 2005.

V. A. Saraswat, Concurrent constraint programming, Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '90, 1993.
DOI : 10.1145/96709.96733

V. A. Saraswat, M. Rinard, and P. Panangaden, The semantic foundations of concurrent constraint programming, Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '91, pp.333-352, 1991.
DOI : 10.1145/99583.99627

G. Smolka, The Oz programming model 144 P. Thhvenod-Fosse and H. Waeselynck. An investigation of statistical software testing, Computer Science Today Lecture Notes in Computer Science Journal of Sotware Testing, Veriication and Reliability, vol.1000, issue.12, p.324343525, 1991.