Protocol Engineering

This publication has 91 references indexed in Scilit:

• Introduction to the ISO specification language LOTOS
  Published by Elsevier ,2003
• Deriving protocol specifications from service specifications
  ACM SIGCOMM Computer Communication Review, 1986
• Mechanical verification and automatic implementation of communication protocols
  IEEE Transactions on Software Engineering, 1986
• A 15 Year Perspective on Automatic Programming
  IEEE Transactions on Software Engineering, 1985
• On Communicating Finite-State Machines
  Journal of the ACM, 1983
• Experience with Formal Specifications Using an Extended State Transition Model
  IEEE Transactions on Communications, 1982
• A Proof System for Communicating Sequential Processes
  ACM Transactions on Programming Languages and Systems, 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
• A note on reliable full-duplex transmission over half-duplex links
  Communications of the ACM, 1969