"Universal concurrent constraint programing: symbolic semantics and ..."

Carlos Olarte, Frank D. Valencia (2008)
a service of Schloss Dagstuhl - Leibniz Center for Informatics