Two Semantics for Timed Concurrent Constraint Programming