- -

Listar por palabra clave "Concurrency Program analysis Petri Nets CSP Operational Semantics"

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

Listar por palabra clave "Concurrency Program analysis Petri Nets CSP Operational Semantics"

Ordenar por:Orden:Resultados:

  • thumb
    Analysis Techniques for Concurrent Programming Languages 
    Tamarit Muñoz, Salvador (Universitat Politècnica de València, 2013-09-02)
    Los lenguajes concurrentes est an cada d a m as presentes en nuestra sociedad, tanto en las nuevas tecnolog as como en los sistemas utilizados de manera cotidiana. M as a un, dada la actual distribuci on de los sistemas ...