SYNTHESIS AND PERFORMANCE OF TWO-PARITY ERROR-RECOVERABLE PROTOCOLS.

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.