Login / Signup

The Tree Identify Protocol of IEEE 1394 in µCRL.

Carron ShanklandMark van der Zwaag
Published in: Formal Aspects Comput. (1998)
Keyphrases
  • lightweight
  • tree structure
  • neural network
  • mac protocol
  • medium access control
  • index structure
  • formal analysis
  • communication protocol
  • hierarchical structure
  • ad hoc networks
  • physical layer