The expressivity of universal timed CCP: undecidability of Monadic FLTL and closure operators for security.

Carlos Olarte, Frank D. Valencia

Browse the full PPDP paper archive.