Repository landing page
The Timed Concurrent Constraint language in practice
Abstract
We propose the tccp language for the specification and verification of security protocols. We study the relation between tccp and utcc by presenting a transformation from utcc into tccp that formally states the relation between the two languages. Finally, we present an interpreter for tccp implemented in Maude.Lescaylle Daudinot, A. (2009). The Timed Concurrent Constraint language in practice. http://hdl.handle.net/10251/1451- info:eu-repo/semantics/masterThesis
- Timed concurrent constraint programming
- Security protocols
- Verification
- LENGUAJES Y SISTEMAS INFORMATICOS
- Máster Universitario en IngenierÃa del Software, Métodos Formales y Sistemas de Información-Mà ster Universitari en Enginyeria del Programari, Mètodes Formals i Sistemes D'Informació