An Algebraic Verification of the 802.11 MAC Layer Handoff Process

胡运安,夏正友,杨明
DOI: https://doi.org/10.3969/j.issn.1007-130x.2004.07.028
2004-01-01
Abstract:The handoff process,which controls the dynamic topology of the network,is critical to the 802.11 MAC operation. We can strictly define the handoff process by π-calculus. In this paper, a π-calculus model is proposed. And then its congruence is proved by deduction.This will be helpful for analyzing and referring to the 802.11 MAC layer
What problem does this paper attempt to address?