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.

, ,
,
CWI
Software Engineering [SEN]

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