The Timed Concurrent Constraint language in practice

Authors
Publication date
24 January 2012
Publisher
'Universitat Politecnica de Valencia'

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/14517Archivo delegad

    Similar works

    Full text

    thumbnail-image

    Available Versions

    RiuNet

    redirect
    oaioai:riunet.upv.es:10251/14517
    Last time updated on 22/08/2013