"Truly Concurrent Constraint Programming."

Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat (1996)
a service of Schloss Dagstuhl - Leibniz Center for Informatics