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