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, S.P. (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

Send article pdf, or link to archived materials:

Description and formal specification of the link layer of P1394

Publication

Publication

Workflow

Workflow

Add Content