概率可靠多播协议Bimodal Multicast的IOA形式规范
Formal specification of the Bimodal Multicast in IOA作者机构：西安电子科技大学软件工程研究所陕西西安710071
出 版 物：《西安电子科技大学学报》 (Journal of Xidian University)
年 卷 期：2003年第30卷第2期
页 面：220-225,246页
核心收录：
学科分类：0810[工学-信息与通信工程] 08[工学] 081001[工学-通信与信息系统]
主 题：多播协议 Bimodal Multicast I/O自动机 形式规范 通信
摘 要：介绍并讨论了BimodalMulticast的应用特征和规范形式描述方法,给出了一个基于I/O自动机的描述方案,内容包括BimodalMulticast中消息的表达,状态和动作的定义,并重点讨论了BimodalMulticast的最近最先语义的描述方法.
维普期刊数据库
同方期刊数据库