The expressivity of universal timed CCP: undecidability of Monadic FLTL and closure operators for security - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Carlos Olarte' in GoogleThis author has not been identified. Look up 'Frank D. Valencia' in Google

runs on WebDSL