Verification of a methodology for designing reliable communication protocols

Authors:
Huai-An Lin;Ming T. Liu;Charles J. Graff
Affiliations:
Gould Inc., Gould Research Center, 40 Gould Center, Rolling Meadows, IL;Department of Computer and Information Science, The Ohio State University, Columbus, Ohio;U.S. Army Communications-Electronics Command, Ft. Monmouth, NJ
Venue:
SIGCOMM '83 Proceedings of the eighth symposium on Data communications
Year:
1983

Citing 5
Cited 1

A Proof System for Communicating Sequential Processes

ACM Transactions on Programming Languages and Systems (TOPLAS)
Communicating sequential processes

Communications of the ACM
An axiomatic basis for computer programming

Communications of the ACM
Proof rules for communicating sequential processes

Proof rules for communicating sequential processes
A new methodology for designing communication protocols

A new methodology for designing communication protocols

Self-Synchronizing Communication Protocols

IEEE Transactions on Computers

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper we present a new methodology for designing reliable communication protocols. This methodology enhances communicating processes with a synchronization mechanism so that they can detect and resolve the errors caused by collisions automatically. The major advantages of this new methodology include: (1) the “state explosion” problem involved in protocol validation is alleviated; and (2) the burden of handling errors due to collisions is removed from the protocol designer. There is a need to verify that this methodology is applicable to arbitrary protocols. In this paper we also discuss the application of a program verification technique to this methodology.