A synthesis method for fault-tolerant and flexible multipath routing protocols

This publication has 8 references indexed in Scilit:

• Synthesizing protocol specifications from service specifications in FSM model
  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
• On the construction of multiphase communication protocols
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Automatic synthesis of protocol specifications from service specifications
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Crash resilient communication in dynamic networks
  IEEE Transactions on Computers, 1997
• Connection-based communication in dynamic networks
  Published by Association for Computing Machinery (ACM) ,1992
• Synthesis of communication protocols: survey and assessment
  IEEE Transactions on Computers, 1991
• Protocol Engineering
  Published by Elsevier ,1989