scientific article; zbMATH DE number 1088213

zbMATH Open0884.68006MaRDI QIDQ4364529FDOQ4364529

Authors: Louis Mussat, Jean-Raymond Abrial 

Publication date: 17 November 1997

Title of this publication is not available (Why is that?)

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
• scientific article; zbMATH DE number 1693443
• scientific article; zbMATH DE number 865194
• The synthesis of communication protocols

zbMATH Keywords

protocol specificationsuccessive refinements

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10)

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:

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