Synthesis of two-party error-recoverable protocols

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Synthesis of two-party error-recoverable protocols

Full text

Pdf (1.00 MB)

Source

Applications, Technologies, Architectures, and Protocols for Computer Communication archive
Proceedings of the ACM SIGCOMM conference on Communications architectures & protocols table of contents

Stowe, Vermont, United States

Pages: 227 - 235

Year of Publication: 1986

ISBN:0-89791-201-2

Also published in ...

Authors

C V Ramamoorthy	Computer Science Division, Department of Electrical Engineering and Computer Science, University of California, Berkeley, California
Y Yaw	Computer Science Division, Department of Electrical Engineering and Computer Science, University of California, Berkeley, California
R Aggarwal	Computer Science Division, Department of Electrical Engineering and Computer Science, University of California, Berkeley, California
J Song	Computer Science Division, Department of Electrical Engineering and Computer Science, University of California, Berkeley, California

Sponsor

SIGCOMM: ACM Special Interest Group on Data Communication

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 2, Downloads (12 Months): 8, Citation Count: 7

Additional Information:

abstract references cited by index terms collaborative colleagues peer to peer

Tools and Actions:	Review this Article Save this Article to a Binder Display Formats: BibTex EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/18172.18198 What is a DOI?

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.

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	CHO 84	Choi, T.Y., "On the recoverability of finite state protocols,'' manuscript, March 1984.
	DON 83	Siyi Terry Dong, The modeling, analysis and synthesis of communication protocols, 1983
	MAR 81	James Martin, Computer Networks and Distributed Processing: Software, Techniques, and Architecture, Prentice Hall PTR, Upper Saddle River, NJ, 1981
	MAR 73	James Marting, Security, Accuracy, and Privacy in Computer Systems, Prentice Hall PTR, Upper Saddle River, NJ, 1973
	MER 76	Merlin, P.M. and Father, D.J., "Recoverability of Communication Protocols : Implication of Theoretical Study," IEEE Trans. on Comm., Vol. COM-24, No. 9, Sep. 1976, pp. 1936-1043.
	RAM 85	C. V. Ramamoorthy , Siyi T. Dong , Yutaka Usuda, An implementation of an automated protocol synthesizer (APS) and its application to the X.21 protocol, IEEE Transactions on Software Engineering, v.11 n.9, p.886-908, Sept. 1985 [doi>10.1109/TSE.1985.232547]
	RAM 82	Ramamo0rthy, C.V., and Dong, S.T., "Communication Protocol Synthesis," Proc. COMSAC, Chicago I11., Nov. 1982.
	RAZ 80	Razouk, R. R., and Estrin, G., "Validation of the X.21 Interface Specification Using SARA," Proc. Trends and Application: 1980 Computer Network Protocols, NBS, Gaithersberg.
	SID 82	Deepinder P. Sidhu, Rules for synthesizing correct communication protocols, ACM SIGCOMM Computer Communication Review, v.12 n.1, p.35-51, January 1982 [doi>10.1145/1040119.1040122]
	SUN 76	Sunshine, C.A., "Factors in Interprocess Communication Protocol Efficiency for Computer Networks," Proc. AFIPS Conf. 45, 1976, pp. 571-576.
	TAN 81	Andrew S. Tanenbaum, Computer Networks, Prentice Hall PTR, Upper Saddle River, NJ, 1985
	WES 78	West, C.H., and Zafiropulo, P., "Automated Validation of Communication Protocols : The CCITT X.21 Recommendation," IBM J. Res. Develop., Vol. 22, No. 1, Jan. 1978.
	ZAF 80	Zafiropulo, P., et al., "Towards Analyzing and Synthesizing Protocols," IEEE Trans. on Comm., Vol. COM-28, No. 4, April 1980, pp. 651-660.

CITED BY 7

	Yoshiaki Kakuda , Hironori Saito, t An Integrated Approach to Design of Protocol Specifications Using Protocol Validation and Synthesis, IEEE Transactions on Computers, v.40 n.4, p.459-467, April 1991
	F. Khendek , G. von Bochmann , C. Kant, New results on deriving protocol specifications from service specifications, ACM SIGCOMM Computer Communication Review, v.19 n.4, p.136-145, Sep. 1989
	Robert L. Probert , Kassem Saleh, Synthesis of Communication Protocols: Survey and Assessment, IEEE Transactions on Computers, v.40 n.4, p.468-476, April 1991
	Reinhard Gotzhein , Gregor von Bochmann, Deriving protocol specifications from service specifications including parameters, ACM Transactions on Computer Systems (TOCS), v.8 n.4, p.255-283, Nov. 1990
	Christian Kant , Teruo Higashino , Gregor V. Bochmann, Deriving protocol specifications from service specifications written in LOTOS, Distributed Computing, v.10 n.1, p.29-47, July 1996
	Alain Finkel, Decidability of the termination problem for completely specified protocols, Distributed Computing, v.7 n.3, p.129-135, March 1994
	Kassem Saleh, Synthesis of communications protocols: an annotated bibliography, ACM SIGCOMM Computer Communication Review, v.26 n.5, p.40-59, Oct. 1996