An Algebraic Verification of the 802.11 MAC Layer Handoff Process
Yang Ming · Computer Engineering and Science · 2004
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