10.3969/j.issn.1001-2400.2003.02.018
概率可靠多播协议Bimodal Multicast的IOA形式规范
介绍并讨论了Bimodal Multicast的应用特征和规范形式描述方法,给出了一个基于I/O自动机的描述方案,内容包括Bimodal Multicast中消息的表达,状态和动作的定义,并重点讨论了Bimodal Multicast的最近最先语义的描述方法.
Bimodal Multicast、I/O自动机、形式规范、最近最先
30
TP301.2(计算技术、计算机技术)
国家部委预研项目413150501
2004-01-08(万方平台首次上网日期,不代表论文的发表时间)
共7页
220-225,246