Title :
A wireless link protocol: design by refinement
Author :
Gouda, M.G. ; Paul, Sanjoy
Author_Institution :
Dept. of Comput. Sci., Texas Univ., Austin, TX, USA
Abstract :
We develop an asymmetric protocol for wireless communication in a step-by-step manner. We start with a very simple protocol and prove its correctness. Then we relax the assumptions of the simple protocol one by one, verifying the correctness of the protocol at each step as we relax the assumptions. This process is continued in a systematic manner until no assumptions are left. The novelty of the paper lies in the way the assumptions are relaxed without violating the correctness properties of the protocol while at the same time making the protocol efficient. The final result is a provably correct protocol which is also efficient for wireless channels
Keywords :
local area networks; transport protocols; asymmetric protocol; correctness properties; provably correct protocol; wireless communication; wireless link protocol; Base stations; Bit rate; Computer science; Delay; Error analysis; Femtocell networks; Spine; Transmitters; Wireless application protocol; Wireless communication;
Conference_Titel :
Network Protocols, 1995. Proceedings., 1995 International Conference on
Conference_Location :
Tokyo
Print_ISBN :
0-8186-7216-1
DOI :
10.1109/ICNP.1995.524834
