Login / Signup

Using SPIN to Analyse the Tree Identification Phase of the IEEE 1394 High-Performance Serial Bus (FireWire) Protocol.

Muffy CalderAlice Miller
Published in: Formal Aspects Comput. (2003)
Keyphrases
  • high speed
  • tree structure
  • mac protocol
  • binary tree
  • lightweight
  • medium access control
  • tree nodes
  • wireless local area networks
  • learning phase
  • decision trees
  • database management systems
  • tree structures
  • link layer