Información del autor
Autor Verdejo López, José Alberto |
Documentos disponibles escritos por este autor (19)
![](./images/expand_all.gif)
![](./images/collapse_all.gif)
![Selecciones disponibles](./images/orderby_az.gif)
![]()
texto impreso
Riesco Rodríguez, Adrián ; Verdejo López, José Alberto | 2007-04The Enhanced Interior Gateway Routing Protocol (EIGRP) is an advanced distance-vector routing protocol, with optimizations to minimize both the routing instability incurred after topology changes, as well as the use of bandwidth and processing p[...]![]()
texto impreso
In this paper we consider three descriptions, at different abstract levels, of the leader election protocol from the IEEE 1394 serial multimedia bus. The descriptions are given using the language Maude based on rewriting logic. Particularly, the[...]![]()
texto impreso
Verdejo López, José Alberto | 2002-04We describe a formal tool based on a symbolic semantics for Full LOTOS, where speci cations without restrictions in their data types can be executed. The re ective feature of rewriting logic and the metalanguage capabilities of Maude make it pos[...]![]()
texto impreso
Eden is a parallel extension of the functional language Haskell. On behalf of parallelism Eden overrides Haskell’s pure lazy approach, combining a non-strict functional application with eager process creation and eager communication. We desire t[...]