摘要
由于PIM-SM协议标准化进程还处在实验阶段,协议本身需要不断发展完善。提出PIM-SM组播系统的抽象模型,给出了协议实体的部分形式化描述,并使用CADP工具集对其进行简单验证。
Because the PIM-SM protocol was still classified as experimental, it needs to be developed and perfected. This paper used the formal language LOTOS to describe the models of the PIM-SM protocol. Subsequent, validation and analysis of the models, using CADP tools, was done.
出处
《微电子学与计算机》
CSCD
北大核心
2006年第z1期60-62,共3页
Microelectronics & Computer
