Palamidessi, C.; Valencia, F. D. A Temporal Concurrent Constraint Programming Calculus. BRICS 2001, 8.