"Abstract interpretation of temporal concurrent constraint programs."

Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics