The Tree Identify Protocol of IEEE 1394 in mu CRL

Citation

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

Abstract
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.

Journal
Formal Aspects of Computing: Volume 10, Issue 5-6

• facs98.pdf