Proving concurrent constraint programming correct, revisited

article

Fecha

2015

Registro en:

OLARTE, 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.011

1571-0661

https://repositorio.ufrn.br/jspui/handle/123456789/29762

10.1016/j.entcs.2015.04.011

http://repositorioslatinoamericanos.uchile.cl/handle/2250/3954138

Autor

Vega, Carlos Alberto Olarte

Pimentel, Elaine Gouvea

Institución

Universidade Federal do Rio Grande do Norte (Brasil)

Materias

Concurrent Constraint Programming

Mostrar el registro completo del ítem