扩展有限状态协议机模型及其检证法  

作　　者：邵峰晶[1] 孙孝瑞[1] 

机构地区：[1]青岛大学理工学院计算机系

出　　处：《青岛大学学报（自然科学版）》1996年第3期1-10,共10页Journal of Qingdao University(Natural Science Edition)

摘　　要：本文建立了用于表述含有无限值状态成分的通讯协议机的抽象模型，给出基于该模型的形式检证法，试制了检证系统。

关 键 词：信道 寄存器 信息论 通讯协议机 检证法 

分 类 号：TN911.2[电子电信—通信与信息系统]