| 802．11MAC层切换过程的代数验证 |
| |
| 引用本文： | 胡运安,夏正友,杨明.802．11MAC层切换过程的代数验证[J].计算机工程与科学,2004,26(7):97-99. |
| |
| 作者姓名： | 胡运安 夏正友 杨明 |
| |
| 作者单位： | 复旦大学计算机与信息技术系,上海,200433 |
| |
| 摘 要： | 802．11MAC层的切换过程是其协议的一个重要组成部分，它影响着网络的动态拓扑结构。利用π演算理论来进行分析，可以严格而规范地描述其切换过程。在本文中，首先建立了切换的π演算模型。然后通过推导，证明了模型的一致性。这将为802．11MAC层的研究提供一定的 参考和分析价值。
|
| 关 键 词： | 通信协议标准 数学模型 802.11MAC 动态拓扑结构 代数验证 |
| 文章编号： | 1007-130X(2004)07-0097-03 |
An Algebraic Verification of the 802.11 MAC Layer Handoff Process |
| |
| HU Yun-an,XIA Zheng-you,YANG Ming.An Algebraic Verification of the 802.11 MAC Layer Handoff Process[J].Computer Engineering & Science,2004,26(7):97-99. |
| |
| Authors: | HU Yun-an XIA Zheng-you YANG Ming |
| |
| 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 |
| |
| Keywords: | WLAN process algebra π-calculus handoff |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程与科学》浏览原始摘要信息 |
|
点击此处可从《计算机工程与科学》下载全文 |
