The Tree Identify Protocol of IEEE 1394 in μCRL
- 1 May 1998
- journal article
- Published by Association for Computing Machinery (ACM) in Formal Aspects of Computing
- Vol. 10 (5) , 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.Keywords
This publication has 1 reference indexed in Scilit:
- Formal verification of a leader election protocol in process algebraTheoretical Computer Science, 1997