C. Palamidessi and F. D. Valencia, “A Temporal Concurrent Constraint Programming Calculus”, BRICS, vol. 8, no. 20, Jun. 2001.