1) CSP
通信顺序进程
1.
Extentions to CSP and its application of formal technology of protocols;
通信顺序进程的扩充及其在协议形式化技术中的应用
2.
Protocol Specification Based on CSP;
基于通信顺序进程的计算机网络通信协议形式化描述
2) communicating sequential processes
通信顺序进程
1.
A protocol composition model based on the theory of communicating sequential processes (CSP) is proposed, which presents a protocol as a composition of protocol entities.
提出了一种基于通信顺序进程(CSP)理论的协议组合模型。
3) Communicating Sequential Processes(CSP)
通信顺序进程
1.
According to the two-handed of touch-sensors platform application in the transport situation HCI,this paper proposes a transport situation HCI model which embodies the combination of users\' operations and equipment response,it adopts the Communicating Sequential Processes(CSP) to formalize it,combines with Gantt-chart verifying the logic accuracy and stability of its single user operating.
根据双手触摸光感应触控平台在运输态势的HCI,提出一种体现用户操作与设备响应相结合的运输态势HCI模型,该模型采用通信顺序进程形式化描述,并结合甘特图验证其单用户操作的逻辑正确性和稳定性。
2.
Considering the requirements of P2P application modeling and referring to the component-based modeling thought,a description method based on communicating sequential processes(CSP)is proposed for the P2P network models.
然后,参照构件化建模的研究思路,基于对P2P应用建模需求的分析,提出了一种运用通信顺序进程(CSP)进行描述的P2P网络应用的形式化描述方法。
4) timed communicating sequential process(TCSP)
实时通信顺序进程
6) communication process
通信进程
1.
Via the analysis of the original system,the redundancy system and control network for soft reduction of slab is built,and no-seam communication between level 2 control system and original system is achieved by developed two communication processes.
通过对原系统的分析,架构双机热备冗余的新2级控制系统,采用自主开发的两个通信进程,并开发了控制网络,实现了与原控制体系通信的无缝对接。
补充资料：通信顺序进程
通信顺序进程
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)。这是一个代数演算系统，其基本成份是事件(或动作)。进程由事件和一组算子
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条