Treffer: The Timed Concurrent Constraint language in practice

Title:
The Timed Concurrent Constraint language in practice
Authors:
Lescaylle Daudinot, Alexei
Contributors:
Villanueva García, Alicia, Departamento de Sistemas Informáticos y Computación, Escuela Técnica Superior de Ingeniería Informática, Instituto Universitario Valenciano de Investigación en Inteligencia Artificial, Repositorio Institucional de la Universitat Politècnica de València Riunet
Source:
RiuNet. Repositorio Institucional de la Universitat Politécnica de Valéncia
Universitat Politècnica de València (UPV)
instname
Publisher Information:
Universitat Politècnica de València, 2009.
Publication Year:
2009
Subject Terms:
Timed concurrent constraint programming, Verification, 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ó, LENGUAJES Y SISTEMAS INFORMATICOS, Security protocols
Document Type:
Dissertation Master thesis
File Description:
application/pdf
Language:
English
Access URL:
https://riunet.upv.es/handle/10251/14517
http://hdl.handle.net/10251/14517
https://hdl.handle.net/10251/14517
Rights:
URL: http://rightsstatements.org/vocab/InC/1.0/
Accession Number:
edsair.dedup.wf.002..eaa76c1b75b8bc4ddd519b7c05fa5c88
Database:
OpenAIRE

Weitere Informationen

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.