@inproceedings{7fb7dec66afb43acb2e857cd1495ba1b,
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 = "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 = "英语",
series = "Proceedings of the ACM SIGCOMM Conference on Communications Architectures and Protocols, SIGCOMM 1986",
publisher = "Association for Computing Machinery ",
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",
address = "美国",
}