补充资料：通信顺序进程

通信顺序进程
communicating sequential processes

　　构造而成。典型的算子有:~(前缀)，}(外部非确定性选择)，n(内部非确定性选择)，川(交错并行)，}}(同步并行)八e(事件隐蔽)，以及递归等。 例:(自动售货机) VM=coin~(choc~VM!①flee~VM)， CUSI、二coin一(ehi犯~CUSFneoflee~Ct!91、) 这里定义了两个进程:VM(售货机)和CUgT(顾客)。售货机在接受了硬币~后，可按顾客的要求支付ehoc或coffee。顾客在付了硬币后，或者想要elloc，或者想要coffee，其选择不受外界影响。 与CCS不同(也与作为程序设计语言的CSP不同)，TCSP采用的是广摇式通信，而不是握手式通信，即只有当并行运行的各进程都执行同一动作时，才发生同步。 TCSP采用失败等价作为确定进程等价的准则，这也称为失败语义。一个失败是一二元组(:，X)，其中:是事件的有限序列，X是事件集(称为拒绝集)。若进程尸可以执行事件序列:，且到达一个无法执行X中任一事件的状态，则称(:，X)是尸的一个失败。例如，设有进程尸=a~(b~。~g八…)Plb~d~51{〕P)，则(ab，{。})是尸的一个失败，因为尸可执行ab，变成d~ST(〕P而无法做。。类似地，(ab，{d})也是尸的一个失败，但(ab，{。，司)不是。两个进程失败等价当且仅当它们具有相同的失败集。例如对自动售货机的例子，可以证明进程VMICt〕引、与 CU引、失败等价。 利用失败可以构造T(另P的指称模型，在此模型中，失败等价的进程被解释为同一个元素。关于失败等价建立了一些公理系统，可以对语义上的等价关系进行形式推导。tongxin shunxul一nCheng通信顺序进程(~cating料uentialp、~)用于描述分布式通信系统的语言，简称CSP，首倡者是英国学者C.A.R.H图re。有两个不同而又相互联系的语言通常都称为(万尸。下面分别加以介绍。 1978年C.A.R.H洲e提出的通信顺序进程CSP，是面向分布式系统的程序设计语言。在该语言中，一个并发系统由若干并行运行的顺序进程组成，每个进程不能对其它进程的变量赋值。进程之间只能通过一对通信原语实现协作:Q?x表示从进程Q输人一个值到变量x中;尸!。表示把表达式e的值发送给进程尸。当尸进程执行Q?x，同时Q进程执行尸!。时，发生通信，e的值从Q进程传送给尸进程的变量x。后来出现的实用编程语言(工CAM即以〔名P为基础发展而成。 1984年S.Brcoks，C.A.R.H匕叮e和W.R俄oe提出CSP理论(TCSP)。这是一个代数演算系统，其基本成份是事件(或动作)。进程由事件和一组算子
　　

说明：补充资料仅用于学习参考，请勿用于其它任何用途。