- -

Listar por palabra clave "Reachability analysis"

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

Listar por palabra clave "Reachability analysis"

Ordenar por:Orden:Resultados:

  • thumb
    Slicing Techniques Applied to Concurrent Languages 
    Tamarit Muñoz, Salvador (Universitat Politècnica de València, 2011-11-28)
    In this thesis are presented different program slicing techniques for two concurrent languages: CSP and Petri Nets. As for CSP, two static slices are introduced, using both a new kind of graph. Furthermore, their implementation ...