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]
@inproceedings{OlarteV08,
title = {The expressivity of universal timed CCP: undecidability of Monadic FLTL and closure operators for security},
author = {Carlos Olarte and Frank D. Valencia},
year = {2008},
doi = {10.1145/1389449.1389452},
url = {http://doi.acm.org/10.1145/1389449.1389452},
tags = {security},
researchr = {https://researchr.org/publication/OlarteV08},
cites = {0},
citedby = {0},
pages = {8-19},
booktitle = {Proceedings of the 10th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 15-17, 2008, Valencia, Spain},
editor = {Sergio Antoy and Elvira Albert},
publisher = {ACM},
isbn = {978-1-60558-117-0},
}