Two important concurrency models that are not covered in this article are communicating sequential processes ( CSP ) and software transactional memory ( STM ). 本文中未涉及的两个重要并发模型是通信顺序进程(CSP)和软件事务内存(STM)。
In addition, the mapping relationship between main processes of CSP ( Communicating Sequential Processes(CSP) ) and petri net is proposed. 此外,我们还分析和提出了CSP(通信顺序进程)理论中主要进程与Petri网之间的映射关系。
Using the basic nature of communicating sequential processes describe the meta-model of software evolution process. By the basic components CSP events and processes, combining with the operation of CSP corresponding symbol, the software element model of the evolution of the four levels described. 利用通信顺序进程(CSP)的基本性质对软件演化过程元模型进行了描述,通过CSP的基本成分事件和进程,结合CSP相应的操作符号,将软件演化过程元模型的四个层次进行了描述。
The CSP ( Communicating Sequential Processes(CSP) ) theory is based on the synchronization. It emphasizes the sequential performance. And the CSP design method can provide the abstract of the different level. Such as : System level, Chip level and so on. CSP理论正是基于同步这一点,它强调执行的有序性;同时CSP设计方法还可以针对不同的层次进行描述,比如:系统级和芯片级等。
The idea proposed by Brookes for verifying concurrent programs was applied to Hoare's Communicating Sequential Processes(CSP) ( CSP ). A set of proof rules was presented to verify CSP programs partial correctness. 本文把Brookes验证平行程序的思想应用于Hoare的通信顺序进程(CSP),提出了一组证明规则,以验证CSP程序的部分正确性。