Pages that link to "Item:Q1125432"

The following pages link to The tree identify protocol of IEEE 1394 in \(\mu\)CRL (Q1125432):

Displaying 12 items.

• Cones and foci: A mechanical framework for protocol verification (Q853730) (← links)
• Focus points and convergent process operators: A proof strategy for protocol verification (Q1349249) (← links)
• IEEE 1394 tree identify protocol: Introduction to the case study (Q1402470) (← 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)
• Using SPIN to analyse the tree identification phase of the IEEE 1394 high-performance serial bus (FireWire) protocol (Q1402474) (← links)
• Verifying the IEEE 1394 fireWire tree identify protocol with SMV (Q1402475) (← links)
• False loop detection in the IEEE 1394 tree identify phase (Q1402479) (← links)
• The cones and foci proof technique for timed transition systems (Q1607115) (← links)
• On the expressiveness of choice quantification (Q1874242) (← links)
• The leader election protocol of IEEE 1394 in Maude (Q2703710) (← links)
• The parallel composition of uniform processes with data (Q5958772) (← links)