"A Behavioral Congruence for Concurrent Constraint Programming with ..."

Luis Fernando Pino, Filippo Bonchi, Frank D. Valencia (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics