Specification and verification of the tree identify protocol of IEEE 1394 in rewriting logic

DOI10.1007/s001650300003zbMath1029.68023OpenAlexW2002828923WikidataQ123905907 ScholiaQ123905907MaRDI QIDQ1402473

Alberto Verdejo, Narciso Martí-Oliet, Isabel Pita

Publication date: 27 August 2003

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s001650300003

zbMATH Keywords

Rewriting logicMaudeIEEE 1394Object-oriented specificationsTree identify protocol

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Network protocols (68M12)

Related Items

Twenty years of rewriting logic ⋮ Coding Mobile Synchronizing Petri Nets into Rewriting Logic

Uses Software

• Maude