Temporal Concurrent Constraint Programming: Denotation, Logic and Applications