@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}
}