Advanced search
Publication Cover
Journal of the Chinese Institute of Engineers Volume 19, 1996 - Issue 1
Submit an article Journal homepage
10
Views
1
CrossRef citations to date
0
Altmetric
Short Paper

A hybrid approach to design correct communication protocols

Ye‐In Chang Department of Applied Mathematics, National Sun Yat‐Sen University, Kaohsiung, Taiwan 804, R.O.C.
&
Jui‐Hsiang Chen Department of Applied Mathematics, National Sun Yat‐Sen University, Kaohsiung, Taiwan 804, R.O.C.
Pages 81-91 | Received 07 Oct 1994, Accepted 28 Jun 1995, Published online: 04 May 2011

References

  • Chen , J.H. June 1993 . “A Methodology for Designing Correct Communication Protocols,” . June , Taiwan : National Sun Yat‐Sen University . Master Thesis, R.O.C.
  • Gouda , M.G. and Yu , Y.T. 1984 . “Protocol Validation by Maximal Progress State Exploration,” . IEEE Transactions on Communications , 32 ( 1 ) January : 94 – 97 .
  • Gouda , M.G. and Yu , Y.T. 1984 . “Synthesis of Communicating Finite‐State Machines with Guaranteed Progress,” . IEEE Transactions on Communications , 32 ( 7 ) July : 779 – 788 .
  • Gouda , M.G. and Yu , Y.T. 1985 . “Protocol Validation by Fair Progress State Exploration,” . Computer Networks ISDN Systems , 9 March : 353 – 361 .
  • Huang , C.M. , Chang , Y.I. and Liu , M.T. 1990 . “A Computer‐Aided Protocol Design by Production Systems Approach,” . IEEE Journal on Selected Areas in Communications , 8 ( 9 ) December : 1748 – 1762 .
  • Kakuda , Y. , Wakahara , Y. and Norigoe , M. 1988 . “An Acyclic Expansion Algorithm for Fast Protocol Validation,” . IEEE Transactions on Software Engineering , 14 ( 8 ) August : 1059 – 1070 .
  • Lam , S.S. and Shankar , U. 1984 . “Protocol Verification via Projections,” . IEEE Transactions on Software Engineering , 10 ( 4 ) July : 325 – 342 .
  • Lin , H.A. , Liu , M.T. and Graff , C.J. “A Methodology for Reliable Communications Protocol Design,” . Proc. of IEEE International Conf.on Communications . August . pp. 1338 – 1343 . Los Angeles
  • Liu , M.T. 1989 . “Protocol Engineering,” . In Advances in Computers , Edited by: Yorits , M.C. Vol. 29 , 79 – 195 . New York : Academic .
  • Rubin , J. and West , C.H. 1982 . “An Improved Protocol Validation Technique,” . Computer Networks , 6 March : 65 – 73 .
  • Zafiropulo , P. , West , C.H. , Rudin , H. , Cowan , D.D. and Brand , D. 1980 . “Towards Analyzing and Synthesizing Protocols,” . IEEE Transactions on Communications , 28 ( 4 ) April : 651 – 661 .
  • Zhang , Y.X. 1988 . “An Interactive Protocol Synthesis Algorithm Using a Global State Transaction Graph,” . IEEE Transactions on Software Engineering , 14 ( 3 ) March : 394 – 404 .
  • Zhang , Y.X. 1988 . “A Knowledge‐Based System for Protocol Synthesis (KSPS),” . IEEE Journal on Select Areas in Communications , 6 ( 5 ) July : 874 – 883 .
  • Correspondence addressee

Reprints and Corporate Permissions

Please note: Selecting permissions does not provide access to the full text of the article, please see our help page How do I view content?

To request a reprint or corporate permissions for this article, please click on the relevant link below:

Order Reprints Request Corporate Permissions

Academic Permissions

Please note: Selecting permissions does not provide access to the full text of the article, please see our help page How do I view content?

Obtain permissions instantly via Rightslink by clicking on the button below:

Request Academic Permissions

If you are unable to obtain permissions via Rightslink, please complete and submit this Permissions form. For more information, please visit our Permissions help page.

Related research

People also read lists articles that other readers of this article have read.

Recommended articles lists articles that we recommend and is powered by our AI driven recommendation engine.

Cited by lists all citing articles based on Crossref citations.
Articles with the Crossref icon will open in a new tab.