- -

Listar por palabra clave "Concurrent constraint paradigm"

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

Listar por palabra clave "Concurrent constraint paradigm"

Ordenar por:Orden:Resultados:

  • thumb
    A program analysis framework for tccp based on abstract interpretation 
    Comini, Marco; Gallardo, Maria-del-Mar; Titolo, Laura; Villanueva, Alicia (Springer-Verlag, 2017-05)
    [EN] The timed concurrent constraint language (tccp) is a timed extension of the concurrent constraint paradigm. tccp was defined to model reactive systems, where infinite behaviors arise naturally. In previous works, a ...
  • 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 ...
  • thumb
    Abstract Diagnosis for tccp using a Linear Temporal Logic 
    Comini, Marco; Titolo, Laura; Villanueva García, Alicia (Universitat Politècnica de València, 2014-02-15)
    Automatic techniques for program verification usually suffer the well-known state explosion problem. Most of the classical approaches are based on browsing the structure of some form of model (which rep- resents the behavior ...
  • thumb
    Abstract Diagnosis for tccp using a Linear Temporal Logic 
    Comini, Marco; Titolo, Laura; Villanueva García, Alicia (Cambridge University Press, 2014-07)
    [EN] Automatic techniques for program verification usually suffer the well-known state explosion problem. Most of the classical approaches are based on browsing the structure of some form of model (which represents the ...
  • thumb
    Abstract diagnosis for timed concurrent constraint programs 
    Comini, Marco; Titolo, Laura; Villanueva García, Alicia (Cambridge University Press, 2011)
    The timed concurrent constraint language (tccp in short) is a concurrent logic language based on the simple but powerful concurrent constraint paradigm of Saraswat. In this paradigm, the notion of store-as-value is replaced ...