通信协议的形式化技术研究

作     者：李腊元 Li LayuanWuhan Institute of Water Transport Engineering

作者机构：武汉水运工程学院 

出 版 物：《计算机研究与发展》 (Journal of Computer Research and Development)

年 卷 期：1989年第26卷第12期

页      码：20-29,19页

摘      要：本文研讨适应于计算机网络或分布式计算机系统通信协议的形式化技术.文中系统地论述和分析了协议及其服务的形式描述,设计验证与实现验证的基本理论,主要方法和实现技术;提出了一种基于有限状态机(FSM)和通信顺序进程(CSP)相结合的混合形式描述方法,针对CSMA/CD协议,给出了该混合模型的形式描述实例.

主 题 词：通信协议 计算机网络 形式化技术 

学科分类：12[管理学] 1201[管理学-管理科学与工程类] 08[工学] 081201[081201] 0812[工学-测绘类] 

核心收录：

馆 藏 号：203141297...