Synthesis of two-party error-recoverable protocols

C. V. Ramamoorthy, Y. Yaw, R. Aggarwal, J. Song, W. T. Tsai

Research output: Chapter in Book/Report/Conference proceedingConference contribution

12 Citations (Scopus)

Abstract

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.

Original languageEnglish
Title of host publicationProceedings of the ACM SIGCOMM Conference on Communications Architectures and Protocols, SIGCOMM 1986
EditorsWalter Kosinsky, J. Joaquin Garcia-Luna, Franklin F. Kuo
PublisherAssociation for Computing Machinery, Inc
Pages227-235
Number of pages9
ISBN (Electronic)0897912012, 9780897912013
DOIs
Publication statusPublished - 1986 Sep 30
Event1986 ACM SIGCOMM Conference on Communications Architectures and Protocols, SIGCOMM 1986 - Stowe, United States
Duration: 1986 Aug 51986 Aug 7

Publication series

NameProceedings of the ACM SIGCOMM Conference on Communications Architectures and Protocols, SIGCOMM 1986

Conference

Conference1986 ACM SIGCOMM Conference on Communications Architectures and Protocols, SIGCOMM 1986
CountryUnited States
CityStowe
Period86/8/586/8/7

All Science Journal Classification (ASJC) codes

  • Software
  • Hardware and Architecture
  • Computer Networks and Communications

Fingerprint Dive into the research topics of 'Synthesis of two-party error-recoverable protocols'. Together they form a unique fingerprint.

  • Cite this

    Ramamoorthy, C. V., Yaw, Y., Aggarwal, R., Song, J., & Tsai, W. T. (1986). Synthesis of two-party error-recoverable protocols. In W. Kosinsky, J. J. Garcia-Luna, & F. F. Kuo (Eds.), Proceedings of the ACM SIGCOMM Conference on Communications Architectures and Protocols, SIGCOMM 1986 (pp. 227-235). (Proceedings of the ACM SIGCOMM Conference on Communications Architectures and Protocols, SIGCOMM 1986). Association for Computing Machinery, Inc. https://doi.org/10.1145/18172.18198