Falaschi, MorenoPalamidessi, CatusciaVega, Carlos Alberto Olarte2020-08-032020-08-032014FALASCHI, Moreno; OLARTE, Carlos; PALAMIDESSI, Catuscia. Abstract interpretation of temporal concurrent constraint programs. Theory and Practice of Logic Programming, [S.L.], v. 15, n. 3, p. 312-357, 10 fev. 2014. Disponível em: https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming/article/abstract-interpretation-of-temporal-concurrent-constraint-programs/79AB54B8007AA797C1631A461FD7CE2B. Acesso em: 30 jul. 2020. https://doi.org/10.1017/S14710684130006411475-3081https://repositorio.ufrn.br/jspui/handle/123456789/29777Timed concurrent constraint programmingProcess calculiAbstract interpretationDenotational semanticsReactive systemsarticle10.1017/S1471068413000641