We give a formal specification in $mu$CRL of the Link Layer as described in the IEEE document ``P1394 Standard for a High Performance Serial Bus''; this specification may serve as a starting point for further verification.

Network Protocols (acm C.2.2), Requirements/Specifications (acm D.2.1), Software/Program Verification (acm D.2.4)
Network design and communication (msc 68M10), Specification and verification (program logics, model checking, etc.) (msc 68Q60)
Software Engineering [SEN]

Luttik, S.P. (1997). Description and formal specification of the link layer of P1394. Software Engineering [SEN]. CWI.