Shankland C & van der Zwaag M (1998) The Tree Identify Protocol of IEEE 1394 in mu CRL. Formal Aspects of Computing, 10 (5-6), pp. 509-531. https://doi.org/10.1007/s001650050030
We specify the tree identify protocol of the IEEE 1394 high performance serial multimedia bus at three different levels of detail using μ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.
Formal Aspects of Computing: Volume 10, Issue 5-6