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.

Abstract

Abstract is missing.