Carlos Olarte, Frank D. Valencia. The expressivity of universal timed CCP: undecidability of Monadic FLTL and closure operators for security. In Sergio Antoy, Elvira Albert, editors, Proceedings of the 10th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 15-17, 2008, Valencia, Spain. pages 8-19, ACM, 2008. [doi]
Abstract is missing.