代数验证相关论文
802.11MAC层的切换过程是其协议的一个重要组成部分,它影响着网络的动态拓扑结构.利用π演算理论来进行分析,可以严格而规范地描述......
利用π演算理论分析移动通信系统，可以严格而规惑地描述其协议过程，并给予代数验证。文章基于π演算理论来分析移动IPv6的快速切换机......
