Shankland, Carron; van der Zwaag, Mark The tree identify protocol of IEEE 1394 in \(\mu\)CRL. (English) Zbl 0951.68532 Formal Asp. Comput. 10, No. 5-6, 509-531 (1998). 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. Cited in 5 Documents MSC: 68Q60 Specification and verification (program logics, model checking, etc.) Keywords:tree identify protocol PDF BibTeX XML Cite \textit{C. Shankland} and \textit{M. van der Zwaag}, Formal Asp. Comput. 10, No. 5--6, 509--531 (1998; Zbl 0951.68532) Full Text: DOI