DSpace Repository

Browsing Área de Lenguajes y Sistemas Informáticos by Author "Cuartero Gómez, Fernando"

Browsing Área de Lenguajes y Sistemas Informáticos by Author "Cuartero Gómez, 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