Vega, Carlos Alberto OlartePimentel, Elaine Gouvea2020-07-302020-07-302015OLARTE, Carlos; PIMENTEL, Elaine. Proving Concurrent Constraint Programming Correct, Revisited. Electronic Notes In Theoretical Computer Science, [S.L.], v. 312, p. 179-195, abr. 2015. Disponível em: https://www.sciencedirect.com/science/article/pii/S1571066115000158?via%3Dihub. Acesso em: 29 jul. 2020. http://dx.doi.org/10.1016/j.entcs.2015.04.0111571-0661https://repositorio.ufrn.br/jspui/handle/123456789/29762Linear logicConcurrent Constraint ProgrammingProof SystemsFocusingFixed Pointsarticle10.1016/j.entcs.2015.04.011