Show simple item record

Specification and Analysis of the DCF Protocol in the 802.11 Standard using Systems of Communicating Machines

dc.contributor.authorVasan, Arunchandaren_US
dc.contributor.authorMiller, Raymond E.en_US
dc.description.abstractThe 802.11 specification is an emerging standard for WLANs. In this paper, we propose a formal model for a section of the 802.11 MAC protocol using systems of communicating machines. We model the ad-hoc mode of the DCF, i.e., CSMA/CA protocol and the MACA\footnote{The 802.11 standard does not refer to RTS/CTS exchanges as MACA. However, the paper which introduced this idea called it the MACA, and we use this name.} using RTS/CTS sequences. Each station is modelled as a finite state machine which has a set of local variables, and the Wireless Medium is modelled as a shared variable. Analyses show that the 802.11 MAC CSMA/CA protocol and the MACA using RTS/CTS exchanges are free from state deadlocks and non-executable transitions. However, the MACA protocol has a potential livelock, though it is unlikely it will come to pass in normal operation. (Also UMIACS-TR-2002-37)en_US
dc.format.extent152901 bytes
dc.relation.ispartofseriesUM Computer Science Department; CS-TR-4358en_US
dc.relation.ispartofseriesUMIACS; UMIACS-TR-2002-37en_US
dc.titleSpecification and Analysis of the DCF Protocol in the 802.11 Standard using Systems of Communicating Machinesen_US
dc.typeTechnical Reporten_US
dc.relation.isAvailableAtDigital Repository at the University of Marylanden_US
dc.relation.isAvailableAtUniversity of Maryland (College Park, Md.)en_US
dc.relation.isAvailableAtTech Reports in Computer Science and Engineeringen_US
dc.relation.isAvailableAtUMIACS Technical Reportsen_US

Files in this item


This item appears in the following Collection(s)

Show simple item record