期刊文章详细信息
利用“协议机退缩”的通信协议形式检证
COMMUNICATION PROTOCOL VERIFICATION VIA DEGENERATION
文献类型：期刊文章
机构地区：[1]青岛大学理工学院计算机系
年 份：1997
卷 号：10
期 号：1
起止页码：26-38
语 种：中文
收录情况：AJ、CAS、CSA、CSA-PROQEUST、INSPEC、MR、普通刊
摘 要：针对提供高优先度通信协议其检证时生成协议机状态数庞大，使检证难以进行的问题，本文给出了协议机的退缩检证法．通过将给定协议机的检证问题转换为若干个较小协议机的相应检证问题，简化了协议形式检证的复杂性．利用退缩检证法及已建立的检证系统，证明了假设无信道错误时ＯＳＩ参照模型中会话层协议的主要部分，满足“无死锁”、“无传输错误”
关 键 词：OSI 计算机通信 协议机 通信协议 退缩检验
分 类 号：TP393]
参考文献：
正在载入数据...
二级参考文献：
正在载入数据...
耦合文献：
正在载入数据...
引证文献：
正在载入数据...
二级引证文献：
正在载入数据...
同被引文献：
正在载入数据...
