Pages that link to "Item:Q2709226"
From MaRDI portal
The following pages link to A survey of formal methods applied to leader election in IEEE 1394 (Q2709226):
Displaying 6 items.
- State space generation for the HAVi leader election protocol (Q1347990) (← links)
- IEEE 1394 tree identify protocol: Introduction to the case study (Q1402470) (← links)
- But what if I don't want to wait forever? (Q1402477) (← links)
- Fast leader election in anonymous rings with bounded expected delay (Q1944153) (← links)
- The leader election protocol of IEEE 1394 in Maude (Q2703710) (← links)
- A timed verification of the IEEE 1394 Leader election protocol (Q5959853) (← links)