Description and formal specification of the Link Layer of P1394

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.