zbMATH — the first resource for mathematics

The tree identify protocol of IEEE 1394 in $$\mu$$CRL. (English) Zbl 0951.68532
Summary: We specify the tree identify protocol of the IEEE 1394 high performance serial multimedia bus at three different levels of detail using $$\mu$$CRL. We use the cones and foci verification technique of Groote and Springintveld to show that the descriptions are equivalent under branching bisimulation, thereby demonstrating that the protocol behaves as expected.

MSC:
 68Q60 Specification and verification (program logics, model checking, etc.)
Keywords:
tree identify protocol
Full Text: