The trace specification of communications protocols

DOI10.1109/TC.1985.6312209MaRDI QIDQ3685181zbMATH OpenFDO

Authors Daniel Hoffman

Publication date 1985

Published in IEEE Transactions on Computers (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1109/TC.1985.6312209

zbMATH Keywords

communication protocolscomputer networksformal specificationpredicate calculussoftware engineeringtraces

Mathematics Subject Classification ID

Theory of software (68N99)

Cited in

(3)

• Applying string-rewriting to sequence-based specification
• Trace rewriting systems
• Application of the trace assertion method to the specification, design, and verification of automaton programs

This page was built for publication: The trace specification of communications protocols

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3685181)