We have developed a correct, general, and efficient procedure of synthesizing twoparty error-recoverable protocols for noisy channels where messages could be lost, corrupted, and/or missequenced. The state explosion problem has been tackled by synthesizing the error-recoverable protocol (ERP) from its noiseless local entity model using certain rules. This reduction arises from the approaches of local modeling and elaboration. We expect that these two approaches will also play a major role in tackling the complexity problems in designing multi-party protocols. Measures of efficiency and functionality improvements have been discussed.
|Title of host publication||Proceedings of the ACM SIGCOMM Conference on Communications Architectures and Protocols, SIGCOMM 1986|
|Editors||Walter Kosinsky, J. Joaquin Garcia-Luna, Franklin F. Kuo|
|Publisher||Association for Computing Machinery, Inc|
|Number of pages||9|
|ISBN (Electronic)||0897912012, 9780897912013|
|Publication status||Published - 1986 Sep 30|
|Event||1986 ACM SIGCOMM Conference on Communications Architectures and Protocols, SIGCOMM 1986 - Stowe, United States|
Duration: 1986 Aug 5 → 1986 Aug 7
|Name||Proceedings of the ACM SIGCOMM Conference on Communications Architectures and Protocols, SIGCOMM 1986|
|Conference||1986 ACM SIGCOMM Conference on Communications Architectures and Protocols, SIGCOMM 1986|
|Period||86/8/5 → 86/8/7|
Bibliographical noteFunding Information:
We gratefully acknowledge Dr. C. Davis, and Dr. C. GrafI for numerous helpful discussions and comments. We also thank Dr. T. Dong, Mr. Y. Usuda, Mr. M.H. Kim, Mr. A. Prakash, Mr. W. Fang, Mr. V.J. Ramamoorthy, Mr. J. Srivastava and Mr. B. Anumpam, for critically going through an earlier draft and providing excellent suggestions. The work is supported by the Ballistic Missile Defense .4dvanced Technology Center under grant DASG-6&81G-0025, U.S. Army under grant DAAG-2974C-0171, and the Graduate School of the University of Minnesota.
© 1986 ACM.
All Science Journal Classification (ASJC) codes
- Hardware and Architecture
- Computer Networks and Communications