"A Symbolic Model for Timed Concurrent Constraint Programming."

Jaime Arias, Michell Guzmán, Carlos Olarte (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics