- -

The Timed Concurrent Constraint language in practice

RiuNet: Repositorio Institucional de la Universidad Politécnica de Valencia

Compartir/Enviar a

Citas

Estadísticas

  • Estadisticas de Uso

The Timed Concurrent Constraint language in practice

Mostrar el registro sencillo del ítem

Ficheros en el ítem

Thumbnail
Nombre: Alex-tesis.pdf
Tamaño: 558.7Kb
Formato: PDF
Abrir
dc.contributor.advisor Villanueva García, Alicia es_ES
dc.contributor.author Lescaylle Daudinot, Alexei es_ES
dc.date.accessioned 2012-01-24T13:26:12Z
dc.date.available 2012-01-24T13:26:12Z
dc.date.created 2009-12
dc.date.issued 2012-01-24
dc.identifier.uri http://hdl.handle.net/10251/14517
dc.description.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. es_ES
dc.format.extent 97 es_ES
dc.language Inglés es_ES
dc.publisher Universitat Politècnica de València es_ES
dc.rights Reserva de todos los derechos es_ES
dc.subject Timed concurrent constraint programming es_ES
dc.subject Security protocols es_ES
dc.subject Verification es_ES
dc.subject.classification LENGUAJES Y SISTEMAS INFORMATICOS es_ES
dc.subject.other 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ó es_ES
dc.title The Timed Concurrent Constraint language in practice es_ES
dc.type Tesis de máster es_ES
dc.rights.accessRights Abierto es_ES
dc.contributor.affiliation Universitat Politècnica de València. Servicio de Alumnado - Servei d'Alumnat es_ES
dc.description.bibliographicCitation Lescaylle Daudinot, A. (2009). The Timed Concurrent Constraint language in practice. http://hdl.handle.net/10251/14517 es_ES
dc.description.accrualMethod Archivo delegado es_ES


Este ítem aparece en la(s) siguiente(s) colección(ones)

Mostrar el registro sencillo del ítem