Abstract interpretation of temporal concurrent constraint programs

Autores		Falaschi, Moreno; Palamidessi, Catuscia; Vega, Carlos Alberto Olarte
Editor		Cambridge University Press
Data		2014
Palavras-chave		Timed concurrent constraint programming Process calculi Abstract interpretation Denotational semantics Reactive systems
Citação		FALASCHI, 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/S1471068413000641
Resumo
URI		https://repositorio.ufrn.br/jspui/handle/123456789/29777