摘要
文中在对IGMP详细的机制分析的基础上用扩展的库所 变迁网对其进行了形式化的描述 ,从而奠定了IGMP协议分析和具体实现的基础。
In this paper, we have a formal protocol description of IGMP with extended place/transition net on the base of detailed mechanism analysis, thus lay a solid foundation for analysis and implementation of the IGMP IP
出处
《计算机应用》
CSCD
北大核心
2002年第7期12-14,17,共4页
journal of Computer Applications
基金
云南省教育厅科研基金项目 (0 1 1 1 1 55)
云南省省校合作项目 (1 9- 7) :(北京大学-云南大学 )
