Carlos Olarte, Frank D. Valencia
The expressivity of universal timed CCP: undecidability of Monadic FLTL and closure operators for security
PPDP, 2008.
@inproceedings{PPDP-2008-OlarteV,
author = "Carlos Olarte and Frank D. Valencia",
booktitle = "{Proceedings of the 10th International Conference on Principles and Practice of Declarative Programming}",
doi = "10.1145/1389449.1389452",
isbn = "978-1-60558-117-0",
pages = "8--19",
publisher = "{ACM}",
title = "{The expressivity of universal timed CCP: undecidability of Monadic FLTL and closure operators for security}",
year = 2008,
}