Synthesis of two-party error-recoverable protocols

Authors:
C V Ramamoorthy;Y Yaw;R Aggarwal;J Song
Affiliations:
Computer Science Division, Department of Electrical Engineering and Computer Science, University of California, Berkeley, California;Computer Science Division, Department of Electrical Engineering and Computer Science, University of California, Berkeley, California;Computer Science Division, Department of Electrical Engineering and Computer Science, University of California, Berkeley, California;Computer Science Division, Department of Electrical Engineering and Computer Science, University of California, Berkeley, California
Venue:
SIGCOMM '86 Proceedings of the ACM SIGCOMM conference on Communications architectures & protocols
Year:
1986

Citing 6
Cited 8

An Implementation of an Automated Protocol Synthesizer (APS) and Its Application to the X.21 Protocol

IEEE Transactions on Software Engineering - Special issue on COMPSAC 1982 and 1983
Computer Networks

Computer Networks
Computer Networks and Distributed Processing: Software, Techniques, and Architecture

Computer Networks and Distributed Processing: Software, Techniques, and Architecture
Security, Accuracy, and Privacy in Computer Systems

Security, Accuracy, and Privacy in Computer Systems
The modeling, analysis and synthesis of communication protocols

The modeling, analysis and synthesis of communication protocols
Rules for synthesizing correct communication protocols

ACM SIGCOMM Computer Communication Review

New results on deriving protocol specifications from service specifications

SIGCOMM '89 Symposium proceedings on Communications architectures & protocols
t An Integrated Approach to Design of Protocol Specifications Using Protocol Validation and Synthesis

IEEE Transactions on Computers - Special issue on protocol engineering
Synthesis of Communication Protocols: Survey and Assessment

IEEE Transactions on Computers - Special issue on protocol engineering
Deriving protocol specifications from service specifications including parameters

ACM Transactions on Computer Systems (TOCS)
Synthesis of communications protocols: an annotated bibliography

ACM SIGCOMM Computer Communication Review
Deriving protocol specifications from service specifications written in LOTOS

Distributed Computing
Decidability of the termination problem for completely specified protocols

Distributed Computing
The process mediation framework for semantic web services

International Journal of Agent-Oriented Software Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

We have developed a correct, general, and efficient procedure of synthesizing two-party 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.