Description and formal specification of the link layer of P1394

Luttik, Bas

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.

Additional Metadata
ACM	Network Protocols (acm C.2.2), Requirements/Specifications (acm D.2.1), Software/Program Verification (acm D.2.4)
MSC	Network design and communication (msc 68M10), Specification and verification (program logics, model checking, etc.) (msc 68Q60)
Publisher	CWI
Series	Software Engineering [SEN]
Citation APA Style AAA Style APA Style Cell Style Chicago Style Harvard Style IEEE Style MLA Style Nature Style Vancouver Style American-Institute-of-Physics Style Council-of-Science-Editors Style BibTex Format Endnote Format RIS Format CSL Format DOIs only Format	Luttik, B. (1997). Description and formal specification of the link layer of P1394. Software Engineering [SEN]. CWI.

Free Full Text ( Final Version , 248kb )

Description and formal specification of the link layer of P1394

Publication

Publication

Address

Publishing at CWI

Questions or comments?

Description and formal specification of the link layer of P1394

Publication

Publication

Workflow

Workflow

Add Content