基于通信顺序进程的计算机网络通信协议形式化描述  

作　　者：刘芳[1] 

机构地区：[1]福建师范大学协和学院

出　　处：《信息系统工程》2016年第2期124-124,共1页

摘　　要：在当前的社会中,随着计算机技术、网络技术的不断发展,在人们的日常生活当中,对计算机网络的使用要求越来越高。在这样的情况之下,对于计算机网络通信协议的形式化描述越来越重要。在这一过程中,将通信顺序进程引入到可终止进程当中,同时给出了相应的判定方法。由于过去通信顺序进程只能对同步通信进行描述,因而提出了基于通信顺序进程的异步通信描述方法,最后结合AB协议,进行了基于通信顺序进程的描述。

关 键 词：通信顺序进程 计算机网络通信协议 形式化描述 

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