英语缩略词“CSP”经常作为“Communicating Sequential Processes”的缩写来使用,中文表示:“通信顺序过程”。本文将详细介绍英语缩写词CSP所代表英文单词,其对应的中文拼音、详细解释以及在英语中的流行度。此外,还有关于缩略词CSP的分类、应用领域及相关应用示例等。
以上为Communicating Sequential Processes的英文缩略词CSP的中文解释,以及该英文缩写在英语的流行度、分类和应用领域方面的信息。
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 appped 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程序的部分正确性。
上述内容是“Communicating Sequential Processes”作为“CSP”的缩写,解释为“通信顺序过程”时的信息,以及英语缩略词CSP所代表的英文单词,其对应的中文拼音、详细解释以及在英语中的流行度和相关分类、应用领域及应用示例等。
版权声明:此文自动收集于网络,若有来源错误或者侵犯您的合法权益,您可通过邮箱与我们取得联系,我们将及时进行处理。
本文地址:https://www.nuenian.com/suolue/comp/8e2784c23e0245545c51924c7949fd4d.html