- -

Listar por autor "Lescaylle Daudinot, Alexei"

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

Listar por autor "Lescaylle Daudinot, Alexei"

Ordenar por:Orden:Resultados:

  • thumb
    The Timed Concurrent Constraint language in practice 
    Lescaylle Daudinot, Alexei (Universitat Politècnica de València, 2012-01-24)
    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 ...