1) Algorithmic Routine
演算例程
2) algorithm routine
算法例程
3) process calculus
进程演算
1.
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.
进程演算通常用来研究交互式反应系统,其中的互模拟方法是用来形式化验证系统属性的重要途径。
2.
Security protocols are typical distributed concurrent systems, while process calculus is a powerful tool to model distributed concurrent systems.
进程演算具有强大的描述能力和严格的语义,能够精确刻画安全协议中各个参与者之间的交互行为。
3.
In this paper, a generic model is proposed for the analysis of security protocols based on a process calculus with knowledg.
进程演算是一强有力的并发系统建模工具,而结合知识推理可以弥补进程演算固有的缺乏数据结构支持的特点,以此提出了一个安全协议形式化分析的一般模型。
4) programming calculi
程序演算
5) subroutines,arithmetic
算术次例程
6) computing routines
计算机例行程序
补充资料：演算
演算
演算ICa匆山‘，“c，.c沼妞“e} l)某些数学分支名称的组成部分，这些分支涉及一定类型对象的计算和运算法则;例如，微分学(山脆代泊回cal浏场)也称为微分演算，变分学(份们以。。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条