节点文献

802.11MAC层切换过程的代数验证

An Algebraic Verification of the 802.11 MAC Layer Handoff Process

推荐 CAJ下载
PDF下载
不支持迅雷等下载工具，请取消加速工具后下载。

【Author】 HU Yun-an, XIA Zheng-you, YANG Ming (Department of Computer and Information Technology,Fudan University, Shanghai 200433,China)

【机构】复旦大学计算机与信息技术系；复旦大学计算机与信息技术系上海200433；上海200433；上海200433；

【摘要】 8 0 2 .1 1MAC层的切换过程是其协议的一个重要组成部分 ,它影响着网络的动态拓扑结构。利用π演算理论来进行分析 ,可以严格而规范地描述其切换过程。在本文中 ,首先建立了切换的π演算模型 ,然后通过推导 ,证明了模型的一致性。这将为 80 2 .1 1MAC层的研究提供一定的参考和分析价值。更多还原

【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更多还原

【关键词】 802.11；无线局域网；进程代数； π演算；切换；
【Key words】 WLAN； process algebra； π-calculus； handoff；

【文献出处】计算机工程与科学 ,Computer Engineering & Science , 编辑部邮箱 ,2004年07期

【分类号】TP393.1
【被引频次】2
【下载频次】89

知网节下载

节点文献中：

本文链接的文献网络图示:

本文的引文网络

节点文献