Formal Aspects of Computing

, Volume 10, Issue 5–6, pp 509–531 | Cite as

The Tree Identify Protocol of IEEE 1394 in μCRL

  • Carron Shankland
  • Mark van der Zwaag
Original Paper


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: Process algebra; Verification of distributed systems; Leader election protocols 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© BCS 1998

Authors and Affiliations

  • Carron Shankland
    • 1
  • Mark van der Zwaag
    • 2
  1. 1.Department of Computing Science and Mathematics, University of Stirling, Stirling, UKUK
  2. 2.CWI, Amsterdam, The NetherlandsNL

Personalised recommendations