Mogens Nielsen, Catuscia Palamidessi, Frank D. Valencia. Temporal Concurrent Constraint Programming: Denotation, Logic and Applications. Nord. J. Comput., 9(1):145-188, 2002.
@article{NielsenPV02,
title = {Temporal Concurrent Constraint Programming: Denotation, Logic and Applications},
author = {Mogens Nielsen and Catuscia Palamidessi and Frank D. Valencia},
year = {2002},
tags = {constraints, logic programming, programming, logic},
researchr = {https://researchr.org/publication/NielsenPV02},
cites = {0},
citedby = {0},
journal = {Nord. J. Comput.},
volume = {9},
number = {1},
pages = {145-188},
}