Formal Modeling of Communication Protocols

This publication has 12 references indexed in Scilit:

• Towards Analyzing and Synthesizing Protocols
  IEEE Transactions on Communications, 1980
• Formal Methods in Communication Protocol Design
  IEEE Transactions on Communications, 1980
• A General Transition Model for Protocols and Communication Services
  IEEE Transactions on Communications, 1980
• Specification and Validation of Protocols
  IEEE Transactions on Communications, 1979
• Notes on type abstraction
  Published by Springer Nature ,1979
• Verification of a class of link-level protocols
  BIT Numerical Mathematics, 1978
• Abstract data types and software validation
  Communications of the ACM, 1978
• Automated Validation of a Communications Protocol: the CCITT X.21 Recommendation
  IBM Journal of Research and Development, 1978
• An approach to describing a data link level protocol with a formal language
  Published by Association for Computing Machinery (ACM) ,1977
• Formal verification of parallel programs
  Communications of the ACM, 1976