- -

Listar por palabra clave "Abstract analysis"

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

Listar por palabra clave "Abstract analysis"

Ordenar por:Orden:Resultados:

  • thumb
    Abstract Analysis of Universal Properties for tccp 
    Comini, Marco; Gallardo Melgarejo, Maria del Mar; Titolo, Laura; Villanueva, Alicia (Springer, 2015)
    [EN] The Timed Concurrent Constraint Language (tccp) is a time extension of the concurrent constraint paradigm of Saraswat. tccp was defined to model reactive systems, where infinite behaviors arise naturally. In previous ...