- -

Listar por palabra clave "Complex concurrent systems"

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

Listar por palabra clave "Complex concurrent systems"

Ordenar por:Orden:Resultados:

  • thumb
    Graph generation to statically represent CSP processes 
    Llorens Agost, María Luisa; Oliver Villarroya, Javier; Silva Galiana, Josep Francesc; Tamarit Muñoz, Salvador (Springer Verlag (Germany), 2011)
    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 ...