Specification and design of a transmission protocol by successive refinement using B

MaRDI QIDQ4364529zbMATH OpenFDO

Authors Louis Mussat, Jean-Raymond Abrial

Publication date 17 November 1997

zbMATH Keywords

protocol specificationsuccessive refinements

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10)

Recommendations

• A new formal method for communication protocol specification
• Specification and analysis of a data transfer protocol using systems of communicating machines
• scientific article; zbMATH DE number 1232240
• Specification and analysis of a composition of protocols
• From complex specifications to a working prototype. A protocol engineering case study
• scientific article; zbMATH DE number 865194
• The synthesis of communication protocols

Cited in

(2)

• Abstract state machines: a unifying view of models of computation and of system design frameworks
• Formal specification method for systems automation

This page was built for publication: Specification and design of a transmission protocol by successive refinement using B

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