中英▼
go top

process calculus

  • 进程演算（process calculus 的复数，也做 process calculuses）

网络释义专业释义英英释义

  进程演算

进程演算

基于1个网页-相关网页

短语

Mobile process calculus 移动进程演算

probabilistic process calculus 概率进程演算

  • 进程演算 - 引用次数：14

    From the operational viewpoint, the x-calculus is a symmetric mobile process calculus obtained from π-calculus by removing asymmetry of the latter.

    从操作观点看，x-演算是通过消除π-演算的非对称性而得到的，是一种对称的移动进程演算。

    参考来源 - 非对称X～≠
  • 进程演算 - 引用次数：5

    Fifthly, for the specification of protocols, we proposed a process calculus. Then we formally defined the syntax, dynamic semantics and static semantics of our calculus.

    第五,对于密码协议的描述,本文给出一个进程演算,随后定义该演算的静态语义和动态语义。

    参考来源 - 密码协议的形式化分析方法研究

·2,447,543篇论文数据，部分数据来源于NoteExpress

Process calculus

  • abstract: In computer science, the process calculi (or process algebras) are a diverse family of related approaches for formally modelling concurrent systems. Process calculi provide a tool for the high-level description of interactions, communications, and synchronizations between a collection of independent agents or processes.

以上来源于: WordNet

双语例句

  • Process calculus is usually used to reason about reactive systems, in which bisimulation method is an important way to formally verify the properties of a system.

    进程演算通常用来研究交互式反应系统，其中的互模拟方法是用来形式化验证系统属性的重要途径。

    youdao

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

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

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