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

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

5 Scopus citations


A correct, general, and efficient procedure for synthesizing error-recoverable protocols for noisy channels is described. The state explosion problem has been tackled by synthesizing the error-recoverable protocol from its noiseless local entity model using certain rules. This reduction arises from the approaches of local modeling and elaboration. It is expected that these two approaches will also play a major role in tackling the complexity problems in designing multiparty protocols. Similarly, performance evaluation for error-recoverable protocols can be synthesized from that for the corresponding noiseless protocol using a probability factor relevant to the successful receipt of a message. However, the resulting two error-recoverable entities are tightly coupled, degrading the performance. The communication speed can be improved by using the pipeline technique and creating a more complicated state diagram for collided messages. The procedure can also be applied to every layer of communication protocols.

Original languageEnglish (US)
Title of host publicationProceedings - IEEE Computer Society's International Computer Software & Applications Conference
Number of pages7
ISBN (Print)0818607270
StatePublished - Dec 1 1986

Publication series

NameProceedings - IEEE Computer Society's International Computer Software & Applications Conference

ASJC Scopus subject areas

  • Software
  • Computer Science Applications


Dive into the research topics of 'SYNTHESIS AND PERFORMANCE OF TWO-PARITY ERROR-RECOVERABLE PROTOCOLS.'. Together they form a unique fingerprint.

Cite this