Abstract interpretation of temporal concurrent constraint programs

TitleAbstract interpretation of temporal concurrent constraint programs
Publication TypeJournal Article
Year of Publication2015
AuthorsFalaschi, M, Olarte, C, Palamidessi, C
JournalTheory and Practice of Logic Programming
Volume15
Pagination312–357
URLhttp://dx.doi.org/10.1017/S1471068413000641
DOI10.1017/S1471068413000641
Work Package: 
WP3