概率可靠多播协议Bimodal Multicast的IOA形式规范

• 作者: 刘西洋 郭敬林 陈平
• 来源期刊: 西安电子科技大学学报(自然科学版)
• 学科: 工学
• 关键词: Bimodal Multicast I/O自动机 形式规范 最近最先
• 年，卷（期）: 2003,（2）
• 页码范围: 220-225,246
• 页数: 7页
• 分类号: TP301.2
• 字数: 4986字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-2400.2003.02.018

摘要

介绍并讨论了Bimodal Multicast的应用特征和规范形式描述方法,给出了一个基于I/O自动机的描述方案,内容包括Bimodal Multicast中消息的表达,状态和动作的定义,并重点讨论了Bimodal Multicast的最近最先语义的描述方法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈平	西安电子科技大学软件工程研究所	149	1211	17.0	28.0
2	刘西洋	西安电子科技大学软件工程研究所	24	119	8.0	10.0
3	郭敬林	西安电子科技大学软件工程研究所	10	25	3.0	4.0