Synthesis of two-party error-recoverable protocols

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

doi:10.1145/18172.18198

Synthesis of two-party error-recoverable protocols

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

College of Computing

Research output: Chapter in Book/Report/Conference proceeding › Conference 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 language	English
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
Pages	227-235
Number of pages	9
ISBN (Electronic)	0897912012, 9780897912013
DOIs	https://doi.org/10.1145/18172.18198
Publication status	Published - 1986 Sept 30
Event	1986 ACM SIGCOMM Conference on Communications Architectures and Protocols, SIGCOMM 1986 - Stowe, United States Duration: 1986 Aug 5 → 1986 Aug 7

Publication series

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

Conference

Conference	1986 ACM SIGCOMM Conference on Communications Architectures and Protocols, SIGCOMM 1986
Country/Territory	United States
City	Stowe
Period	86/8/5 → 86/8/7

Bibliographical note

Funding 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.

Publisher Copyright:
© 1986 ACM.

All Science Journal Classification (ASJC) codes

Software
Hardware and Architecture
Computer Networks and Communications

Access to Document

10.1145/18172.18198

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

Ramamoorthy, C. V. ; Yaw, Y. ; Aggarwal, R. et al. / Synthesis of two-party error-recoverable protocols. Proceedings of the ACM SIGCOMM Conference on Communications Architectures and Protocols, SIGCOMM 1986. editor / Walter Kosinsky ; J. Joaquin Garcia-Luna ; Franklin F. Kuo. Association for Computing Machinery, Inc, 1986. pp. 227-235 (Proceedings of the ACM SIGCOMM Conference on Communications Architectures and Protocols, SIGCOMM 1986).

@inproceedings{0693a7db74df45049fced3a225f8626a,

title = "Synthesis of two-party error-recoverable protocols",

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.",

author = "Ramamoorthy, {C. V.} and Y. Yaw and R. Aggarwal and J. Song and Tsai, {W. T.}",

note = "Funding 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. Publisher Copyright: {\textcopyright} 1986 ACM.; 1986 ACM SIGCOMM Conference on Communications Architectures and Protocols, SIGCOMM 1986 ; Conference date: 05-08-1986 Through 07-08-1986",

year = "1986",

month = sep,

day = "30",

doi = "10.1145/18172.18198",

language = "English",

series = "Proceedings of the ACM SIGCOMM Conference on Communications Architectures and Protocols, SIGCOMM 1986",

publisher = "Association for Computing Machinery, Inc",

pages = "227--235",

editor = "Walter Kosinsky and Garcia-Luna, {J. Joaquin} and Kuo, {Franklin F.}",

booktitle = "Proceedings of the ACM SIGCOMM Conference on Communications Architectures and Protocols, SIGCOMM 1986",

}

Ramamoorthy, CV, Yaw, Y, Aggarwal, R, Song, J & Tsai, WT 1986, Synthesis of two-party error-recoverable protocols. in W Kosinsky, JJ Garcia-Luna & FF Kuo (eds), Proceedings of the ACM SIGCOMM Conference on Communications Architectures and Protocols, SIGCOMM 1986. Proceedings of the ACM SIGCOMM Conference on Communications Architectures and Protocols, SIGCOMM 1986, Association for Computing Machinery, Inc, pp. 227-235, 1986 ACM SIGCOMM Conference on Communications Architectures and Protocols, SIGCOMM 1986, Stowe, United States, 86/8/5. https://doi.org/10.1145/18172.18198

Synthesis of two-party error-recoverable protocols. / Ramamoorthy, C. V.; Yaw, Y.; Aggarwal, R. et al.
Proceedings of the ACM SIGCOMM Conference on Communications Architectures and Protocols, SIGCOMM 1986. ed. / Walter Kosinsky; J. Joaquin Garcia-Luna; Franklin F. Kuo. Association for Computing Machinery, Inc, 1986. p. 227-235 (Proceedings of the ACM SIGCOMM Conference on Communications Architectures and Protocols, SIGCOMM 1986).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Synthesis of two-party error-recoverable protocols

AU - Ramamoorthy, C. V.

AU - Yaw, Y.

AU - Aggarwal, R.

AU - Song, J.

AU - Tsai, W. T.

N1 - Funding 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. Publisher Copyright: © 1986 ACM.

PY - 1986/9/30

Y1 - 1986/9/30

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=85027123529&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85027123529&partnerID=8YFLogxK

U2 - 10.1145/18172.18198

DO - 10.1145/18172.18198

M3 - Conference contribution

AN - SCOPUS:85027123529

T3 - Proceedings of the ACM SIGCOMM Conference on Communications Architectures and Protocols, SIGCOMM 1986

SP - 227

EP - 235

BT - Proceedings of the ACM SIGCOMM Conference on Communications Architectures and Protocols, SIGCOMM 1986

A2 - Kosinsky, Walter

A2 - Garcia-Luna, J. Joaquin

A2 - Kuo, Franklin F.

PB - Association for Computing Machinery, Inc

T2 - 1986 ACM SIGCOMM Conference on Communications Architectures and Protocols, SIGCOMM 1986

Y2 - 5 August 1986 through 7 August 1986

ER -

Ramamoorthy CV, Yaw Y, Aggarwal R, Song J, Tsai WT. Synthesis of two-party error-recoverable protocols. In Kosinsky W, Garcia-Luna JJ, Kuo FF, editors, Proceedings of the ACM SIGCOMM Conference on Communications Architectures and Protocols, SIGCOMM 1986. Association for Computing Machinery, Inc. 1986. p. 227-235. (Proceedings of the ACM SIGCOMM Conference on Communications Architectures and Protocols, SIGCOMM 1986). doi: 10.1145/18172.18198

Synthesis of two-party error-recoverable protocols

Abstract

Publication series

Conference

Bibliographical note

All Science Journal Classification (ASJC) codes

Access to Document

Other files and links

Fingerprint

Cite this