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

针对目前绝大多数形式化描述技术在处理协议的活性等方面存在的不足，提出一种新的基于公平性假设的时态逻辑技术描述协议，并给出ＡＢ协议的形式化描述实例。