Synthesis of communication protocols: survey and assessment

This publication has 12 references indexed in Scilit:

• Specification & verification of higher order processes
  Published by Springer Nature ,2005
• 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
• Protocol synthesis in a state-transition model
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Deriving protocol specifications from service specifications including parameters
  ACM Transactions on Computer Systems, 1990
• Synthesis of error-recoverable protocol specifications from service specifications
  Published by Springer Nature ,1990
• New results on deriving protocol specifications from service specifications
  Published by Association for Computing Machinery (ACM) ,1989
• 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