A framework for abstract interpretation of timed concurrent constraint programs.

Moreno Falaschi Carlos Olarte Catuscia Palamidessi A framework for abstract interpretation of timed concurrent constraint programs. 207-218 2009 PPDP http://doi.acm.org/10.1145/1599410.1599436 conf/ppdp/2009 db/conf/ppdp/ppdp2009.html#FalaschiOP09