Información del autor
Documentos disponibles escritos por este autor (5)
Añadir el resultado a su cesta Hacer una sugerencia Refinar búsqueda
texto impreso
Martín, Óscar ; Verdejo López, Alberto ; Martí Oliet, Narciso | 2018-01-30We show a complete modular specification of the alternating bit protocol. We use the syntax of Maude extended with our constructs for the synchronous composition. Also, we make intensive use of parameterized programming to encapsulate components[...]texto impreso
Martín Sánchez, Óscar ; Verdejo López, Alberto ; Martí Oliet, Narciso | 2016-08-28We argue that considering transitions at the same level as states, as first-class citizens, is advantageous in many cases. Namely, the use of atomic propositions on transitions, as well as on states, allows temporal formulas and strategies to be[...]texto impreso
Martín Sánchez, Óscar ; Verdejo López, Alberto ; Martí Oliet, Narciso | 2016-03We argue that considering transitions at the same level as states, as first-class citizens, is advantageous in many cases. Namely, the use of atomic propositions on transitions, as well as on states, allows temporal formulas and strategies to be[...]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[...]
