Synthesis of error-recoverable protocol specifications from service specifications

This publication has 10 references indexed in Scilit:

• Synthesizing protocol specifications from service specifications in FSM model
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Survey of protocol verification techniques based on finite state machine models
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• New results on deriving protocol specifications from service specifications
  Published by Association for Computing Machinery (ACM) ,1989
• An interactive protocol synthesis algorithm using a global state transition graph
  IEEE Transactions on Software Engineering, 1988
• Deriving protocol specifications from service specifications
  Published by Association for Computing Machinery (ACM) ,1986
• Synthesis of two-party error-recoverable protocols
  Published by Association for Computing Machinery (ACM) ,1986
• An Implementation of an Automated Protocol Synthesizer (APS) and Its Application to the X.21 Protocol
  IEEE Transactions on Software Engineering, 1985
• Synthesis of Communicating Finite-State Machines with Guaranteed Progress
  IEEE Transactions on Communications, 1984
• On the Construction of Submodule Specifications and Communication Protocols
  ACM Transactions on Programming Languages and Systems, 1983
• Towards Analyzing and Synthesizing Protocols
  IEEE Transactions on Communications, 1980