TY  - JOUR
AU  - Verdejo López, José Alberto
AU  - Pita Andreu, María Isabel
AU  - Martí Oliet, Narciso
PY  - 2001
UR  - https://hdl.handle.net/20.500.14352/60342
T2  - Technical report
AB  - In this paper we consider three descriptions, at different abstract levels, of theleader election protocol from the IEEE 1394 serial multimedia bus. The descriptionsare given using the language Maude based on rewriting logic. Particularly, the...
LA  - eng
M2  - 1
KW  - IEEE 1394 serial multimedia bus
KW  - protocols specification and verification
KW  - rewriting logic
KW  - Maude.
TI  - The Leader Election Protocol of IEEE 1394 in Maude
TY  - journal article
VL  - 118.01
ER  -