@article {448, title = {Abstract interpretation of temporal concurrent constraint programs}, journal = {Theory and Practice of Logic Programming}, volume = {15}, year = {2015}, pages = {312{\textendash}357}, doi = {10.1017/S1471068413000641}, url = {http://dx.doi.org/10.1017/S1471068413000641}, author = {Moreno Falaschi and Carlos Olarte and Catuscia Palamidessi} }