关于多协议机系统中协议证明法的研究

摘要：

通过将信道中的传输信息单元序列描述为正规表达式，给出了信道有界性无假定的多协议机系统模型及有关性质成立的形式证明方法及相关算法。

关键词： 通信协议 多协议机 信道有界性 证明方法

作者: 邵峰晶 张进 贾民生 孙孝瑞 刘征 于忠清

作者单位: 大学信息工程学院

会议类型: 国内会议

会议名称: 第十届中国计算机学会网络与数据通信学术会议

会议地点: 南京

会议语种:中文

页码: 58～61

在线出版日期: 1998-10-01（万方平台首次上网日期，不代表论文的发表时间）