Modeling and Verification of End-to-End Protocols

This publication has 14 references indexed in Scilit:

• Protocol Representation with Finite-State Models
  IEEE Transactions on Communications, 1980
• Specification and Validation of Protocols
  IEEE Transactions on Communications, 1979
• Finite state description of communication protocols
  Computer Networks (1976), 1978
• Verification of protocols using symbolic execution
  Computer Networks (1976), 1978
• Petri Nets
  ACM Computing Surveys, 1977
• Recoverability of Communication Protocols--Implications of a Theoretical Study
  IEEE Transactions on Communications, 1976
• Formal verification of parallel programs
  Communications of the ACM, 1976
• A Methodology for the Design and Implementation of Communication Protocols
  IEEE Transactions on Communications, 1976
• Communication protocols in a network context
  Published by Association for Computing Machinery (ACM) ,1975
• Data Communication Control Procedures
  ACM Computing Surveys, 1972