A wireless link protocol: design by refinement

	This Article
	Subscribers, please Login Purchase article: $19 PDF IEEE Xplore Subscribers RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by M.G. Gouda Articles by S. Paul

Third International Conference on Network Protocols (ICNP'95)

Tokyo, Japan

November 07-November 10

ISBN: 0-8186-7216-1

	ASCII Text	x
	M.G. Gouda, S. Paul, "A wireless link protocol: design by refinement," Network Protocols, IEEE International Conference on, pp. 192, Third International Conference on Network Protocols (ICNP'95), 1995.

	BibTex	x
	@article{ 10.1109/ICNP.1995.524834, author = {M.G. Gouda and S. Paul}, title = {A wireless link protocol: design by refinement}, journal ={Network Protocols, IEEE International Conference on}, volume = {0}, year = {1995}, isbn = {0-8186-7216-1}, pages = {192}, doi = {http://doi.ieeecomputersociety.org/10.1109/ICNP.1995.524834}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Network Protocols, IEEE International Conference on TI - A wireless link protocol: design by refinement SN - 0-8186-7216-1 SP EP A1 - M.G. Gouda, A1 - S. Paul, PY - 1995 KW - transport protocols; local area networks; wireless link protocol; asymmetric protocol; wireless communication; provably correct protocol; correctness properties VL - 0 JA - Network Protocols, IEEE International Conference on ER -

M.G. Gouda, Dept. of Comput. Sci., Texas Univ., Austin, TX, USA

S. Paul, Dept. of Comput. Sci., Texas Univ., Austin, TX, USA

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ICNP.1995.524834

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

Index Terms:

transport protocols; local area networks; wireless link protocol; asymmetric protocol; wireless communication; provably correct protocol; correctness properties

Citation:

M.G. Gouda, S. Paul, "A wireless link protocol: design by refinement," icnp, pp.192, Third International Conference on Network Protocols (ICNP'95), 1995

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.