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.
|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.