"Abstract Interpretation of Temporal Concurrent Constraint Programs."

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