Palamidessi, C. and Valencia, F. D. (2001) “A Temporal Concurrent Constraint Programming Calculus”, BRICS Report Series, 8(20). doi: 10.7146/brics.v8i20.21681.