1) 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.
进程演算是一强有力的并发系统建模工具,而结合知识推理可以弥补进程演算固有的缺乏数据结构支持的特点,以此提出了一个安全协议形式化分析的一般模型。
2) Mobile process calculus
移动进程演算
1.
Mobile process calculus, notably π calculus, is one of the hottest fields in concurrent theory.
以π演算为代表的移动进程演算是目前并发理论的研究热点。
3) probabilistic process algebra
概率进程演算
6) succession process
演替进程
1.
Niche dynamics of populations of vegegation community in succession process in Zhenjiang Inner-river wetland;
镇江内江湿地植物群落演替进程中种群生态位动态
补充资料：Asraam先进进程空空导弹
北大西洋公约组织中的若干国家为了在全天候中、近程空战中保持制空权，在1980年由美、英、联邦德国三国政府签订了一份谅解备忘录。备忘录中提出由美国负责研制“先进中程空空导弹”，由英国、联邦德国牵头负责研制“先进近程空空导弹”。“先进近程空空导弹”的英文缩写为 asraam，编号为aim一132。后来加拿大、挪威都参予研制该导弹，但在1989年联邦德国、1990年加拿大和挪威都退出了研制组织。使原来称为欧洲或北约的“先进近程空空导弹”成为英国的导弹了.
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条