Probabilistic Model Checking of Contention Resolution in the IEEELow-Rate Wireless Personal Area Network Protocol Matthias Fruth School of Computer Science, University of Birmingham, Edgbaston, Birmingham, B15

First Page		Document Content
Date: 2007-06-27 11:48:43 Media access control IEEE 802 Computing Data transmission Ethernet Wireless networking IEEE 802.15.4 Carrier-sense multiple access with collision avoidance Carrier-sense multiple access Medium access control Zigbee Exponential backoff		Probabilistic Model Checking of Contention Resolution in the IEEELow-Rate Wireless Personal Area Network Protocol Matthias Fruth School of Computer Science, University of Birmingham, Edgbaston, Birmingham, B15 Add to Reading List Source URL: qav.comlab.ox.ac.uk Download Document from Source Website File Size: 343,97 KB Share Document on Facebook

	Using Directional Antennas for Medium Access Control in Ad Hoc Networks DocID: 1t62h - View Document
	Performance of Random Medium Access Control An asymptotic approach Charles Bordenave David McDonald DocID: 1qrZE - View Document
	DELIVERING BENEFITS TO MEDIUM AND LARGE BUSINESSES LOWER COST DocID: 1pXgV - View Document
	3336 IEEE TRANSACTIONS ON COMMUNICATIONS, VOL. 63, NO. 9, SEPTEMBER 2015 Fast Desynchronization for Decentralized Multichannel Medium Access Control DocID: 1pa15 - View Document
	Sequences for Channel Access in Mobile Ad Hoc Networks Charlie Colbourn Arizona State University, USA Abstract The medium access control (MAC) protocol determines when a network node has permission to access a shared cha DocID: 1oDYG - View Document