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.
[1] Robin Milner,et al. Communication and concurrency , 1989, PHI Series in computer science.
[2] Jan Friso Groote,et al. Syntax and semantics of CRL , 1995 .