Nondeterministic Temporal Concurrent Constraint language