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