1) Mobile Process Calculi
可移动类进程代数
1.
Research on Application for Mobile Process Calculi and Their Static Analysis Techniques to Systems Biology;
可移动类进程代数及其静态分析技术在系统生物学领域中应用的研究
3) process algebra
进程代数
1.
Process Algebra and Application of It in Performance Evaluation;
进程代数及其在性能评价中的应用综述
2.
Formal network architecture model based on process algebra;
基于进程代数的网络体系结构形式化模型
3.
Modeling security software architecture based on process algebra;
基于进程代数的安全软件体系结构建模
4) programmable data mover
可编程序的数据移动器
5) Mobile agent
可移动代理
1.
This paper proposes is an architecture for intrusion detection system using mobile agent technology calledIDMA.
为了解决目前入侵检测系统（IDS）存在的一些问题，提出了一个基于可移动代理技术的入侵检测系统（IDMA）。
6) RDD Replaceable Database Driver
可替代数据库驱动程序
补充资料：进程代数
进程代数
process algebra
1 incheng daishu进程代数(p一al罗bra)关于通信并发系统的代数理论的统称。 20世纪70年代后期，英国学者RMnner和C.A.R，H以叮e分别提出了通信系统演算和通信顺序进程，开创了用代数方法研究通信并发系统的先河。此后这一研究方向兴盛不衰，出现了众多类似而又相互区别的演算系统，如ACP(提出者J.A.Ber郎tra和J.W.K10p)，ATp(提出者M.H即n樱y)，Meije(提出者G.E劝udol，R.desi~)，LOTC6等，统称为进程代数。这些代数理论都使用通信，而不是共享存储，作为进程之间相互作用的基本手段，表现出面向分布式系统的特征。 在语法上，进程代数用一组算子作为进程的构件。算子的语义通常用结构化操作语义方法定义，这样进程就可看成是带标号的变迁系统。进程代数的一个显著特征是把并发性归结为非确定性，将并发执行的进程的行为看成是各单个进程的行为的所有可能的交错合成，即所谓交错语义。 进程代数研究的核心问题是进程的等价性，即在什么意义下两个进程的行为相同?在进程代数领域使用的最为广泛的等价关系有互模拟、测试等价、失败等价(参见通信顺序进程)等。对这些语义等价关系均建立了相应的公理系统。关于公理系统的研究不仅加深了对语义理论的理解，而且使得有可能对语义等价关系进行形式推理。 为了将进程代数的理论成果应用于解决实际问题，20世纪80年代后期出现了许多计算机支持工具。用这些工具可对进程的行为进行推理或模拟。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条