计算机网络通信协议的一种形式化描述技术  

A Formal Description Technique for Computer Network Communication Protocols

作　　者：张广泉[1] 

机构地区：[1]重庆师范学院数学与计算机科学系

出　　处：《重庆师范学院学报（自然科学版）》1999年第1期27-30,39,共5页Journal of Chongqing Normal University(Natural Science Edition)

基　　金：四川省教委青年科研基金

摘　　要：针对目前绝大多数形式化描述技术在处理协议的活性等方面存在的不足，提出一种新的基于公平性假设的时态逻辑技术描述协议，并给出ＡＢ协议的形式化描述实例。Most formal description techniques have some drawbacks in processing liveness of protocols.In view of this situation,a new temporal logic technique based on fairness hypothesis to describe protocols is proposed and an example of Alternating Bit protocol presented.

关 键 词：通信协议 形式化描述技术 AB协议 计算机网络 

分 类 号：TP393[自动化与计算机技术—计算机应用技术]