A framework for abstract interpretation of timed concurrent constraint programs.

Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi

Browse the full PPDP paper archive.