DocumentCode
3380502
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
fYear
1995
fDate
7-10 Nov 1995
Firstpage
192
Lastpage
200
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Network Protocols, 1995. Proceedings., 1995 International Conference on
Conference_Location
Tokyo
Print_ISBN
0-8186-7216-1
Type
conf
DOI
10.1109/ICNP.1995.524834
Filename
524834
Link To Document