go top

communicating sequential processes

  • 通信顺序进程:通信顺序进程(CSP)是一种形式语言,用来描述并发性系统间进行交互的模式。它基于通过通道的消息传递,是进程代数的一员。CSP对编程语言如Limbo、Go等产生了影响。

网络释义英英释义

  顺序进程

’基于通信的顺序进程Communicating Sequential Processes):在CSP模型¨"中,一组顺序执行的行为表 示一个进程,进程间通过原子的同步集中点进行通信。

基于12个网页-相关网页

  通信顺序进程

通信顺序进程Communicating Sequential Processes,CSP):表面上看,CSP模型与actor模型很相似,两者都基于消息传递。

基于8个网页-相关网页

  通信进程

角色模型,通信进程Communicating Sequential Processes, CSP),以及函数式编程(FP)在应对并发编程问题时不约而同地选择了第二类策略。

基于4个网页-相关网页

  其与通信序列过程

...著更多开发者们使用我们的DK Design Suite以加快DSP/FPGA系统的信号处理,其与通信序列过程(Communicating Sequential Processes,CSP)编程范例的相似性使DK和Diamond非常适合快速开发和系统集成。

基于4个网页-相关网页

短语

Contextually Communicating Sequential Processes 上下文通信顺序处理

Hybrid Communicating Sequential Processes 混成通信顺序进程

Communicating sequential processes

  • abstract: In computer science, Communicating Sequential Processes (CSP) is a formal language for describing patterns of interaction in concurrent systems. It is a member of the family of mathematical theories of concurrency known as process algebras, or process calculi.

以上来源于: WordNet

双语例句

  • Two important concurrency models that are not covered in this article are communicating sequential processes (CSP) and software transactional memory (STM).

    本文涉及两个重要并发模型通信顺序进程(CSP)软件事务内存(STM)。

    youdao

  • 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)理论协议组合模型

    youdao

  • To define the semantics of Communicating Sequential Processes, the notions of trace, assertion trace set, kernel of assertion trace set and process trace aet are introduced in this paper.

    通信顺序进程语言对分布式系统进行程序设计一种语言。本文介绍了断言集合、断言迹集合以及进程迹集合等概念

    youdao

更多双语例句
$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定