Temporal Concurrent Constraint Programming: Denotation, Logic and Applications

Mogens Nielsen, Catuscia Palamidessi, Frank D. Valencia. Temporal Concurrent Constraint Programming: Denotation, Logic and Applications. Nord. J. Comput., 9(1):145-188, 2002.

Possibly Related Publications

The following publications are possibly variants of this publication: