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

• 作者: 夏正友 杨明 胡运安
• 来源期刊: 计算机工程与科学
• 学科: 工学
• 关键词: 802.11 无线局域网 进程代数 π演算 切换
• 年，卷（期）: 2004,（7）
• 所属期刊栏目: 研究与实现
• 页码范围: 97-99,104
• 页数: 4页
• 分类号: TP393.1
• 字数: 3502字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-130X.2004.07.028

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	胡运安	复旦大学计算机与信息技术系	3	42	2.0	3.0
2	夏正友	复旦大学计算机与信息技术系	3	18	2.0	3.0
3	杨明	复旦大学计算机与信息技术系	42	104	5.0	9.0