DSpace Repository

Browsing Área de Lenguajes y Sistemas Informáticos by Author "López Pelayo, Fernando"

Browsing Área de Lenguajes y Sistemas Informáticos by Author "López Pelayo, Fernando"

Sort by: Order: Results:

  • López Pelayo, Fernando; Cuartero Gómez, Fernando; Cazorla López, Diego C. (Springer-Verlag, 2011)
    Process Algebras, PAs, are formalisms able to capture the behaviour of a computing system by, for example, giving the labelled transition system, LTS, where states are nodes and where all possible evolutions of the system ...

Search DSpace


Advanced Search

Browse

My Account