1. Abstract interpretation of temporal concurrent constraint programs. Issue 3 (10th February 2014) Authors: FALASCHI, MORENO; OLARTE, CARLOS; PALAMIDESSI, CATUSCIA Journal: Theory and practice of logic programming Issue: Volume 15:Issue 3(2015) Page Start: 312 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗