"Proving Concurrent Constraint Programming Correct, Revisited."

Carlos Olarte, Elaine Pimentel (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics