Información del autor
Autor Martí Oliet, Narciso |
Documentos disponibles escritos por este autor (18)
Añadir el resultado a su cesta Hacer una sugerencia Refinar búsqueda
texto impreso
Martín Sánchez, Óscar ; Verdejo López, Alberto ; Martí Oliet, Narciso | 2016-03We present and formalize a concept of synchronous product for rewrite systems, and also a corresponding concept for general transition systems, used as semantics for the former. A series of examples shows their practical usefulness: for the stra[...]texto impreso
Martín Sánchez, Óscar ; Verdejo López, Alberto ; Martí Oliet, Narciso | 2016-03We present and formalize a concept of synchronous product for rewrite systems, and also a corresponding concept for general transition systems, used as semantics for the former. A series of examples shows their practical usefulness: for the stra[...]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[...]