Pages that link to "Item:Q2703710"
From MaRDI portal
The following pages link to The leader election protocol of IEEE 1394 in Maude (Q2703710):
Displaying 7 items.
- State space generation for the HAVi leader election protocol (Q1347990) (← links)
- A mechanically proved and incremental development of IEEE 1394 tree identify protocol (Q1402471) (← links)
- Specification and verification of the tree identify protocol of IEEE 1394 in rewriting logic (Q1402473) (← links)
- But what if I don't want to wait forever? (Q1402477) (← links)
- Rewriting logic: Roadmap and bibliography (Q1615001) (← links)
- A survey of formal methods applied to leader election in IEEE 1394 (Q2709226) (← links)
- A timed verification of the IEEE 1394 Leader election protocol (Q5959853) (← links)