RT Journal Article
T1 The Leader Election Protocol of IEEE 1394 in Maude
A1 Verdejo López, José Alberto
A1 Pita Andreu, María Isabel
A1 Martí Oliet, Narciso
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 timeaspects of the protocol are studied. The descriptions are first validated by an exhaustiveexploration of all the possible behaviors and states reachable from an initialconfiguration of a network, checking that always only one leader is chosen. The correctnessof the protocol is showed by a formal proof that the desirable properties ofthe protocol are always fulfilled.
YR 2001
FD 2001-07
LK https://hdl.handle.net/20.500.14352/60342
UL https://hdl.handle.net/20.500.14352/60342
LA eng
DS Docta Complutense
RD 10 abr 2025