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