- -

Listar por palabra clave "Semantics transformation"

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

Listar por palabra clave "Semantics transformation"

Ordenar por:Orden:Resultados:

  • thumb
    A Semantics to Generate the Context-sensitive Synchronized Control-Flow Graph (extended) 
    Tamarit Muñoz, Salvador; Silva Galiana, Josep Francesc; Llorens Agost, María Luisa; Oliver Villarroya, Francisco Javier (Universitat Politècnica de València, 2010-06-07)
    The CSP language allows the specification and verification of complex concurrent systems. Many analyses for CSP exist that have been successfully applied in different industrial projects. However, the cost of the analyses ...