1) CCS Process Algebra
CCS进程代数
2) 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;
基于进程代数的安全软件体系结构建模
3) stochastic process algebras
随机进程代数
1.
This paper introduces stochastic process algebras as an approach for performance modelling.
介绍了使用随机进程代数作为性能建模的一种方法,着重介绍了Hillston提出的性能评价进程代数(PEPA),主要论述了使用PEPA模型性能评价方法及特点,讨论资源利用率系统性能分析方法,最后归纳了性能评价进程代数(PEPA)研究的应用领域,并对未来研究方向提出了展望。
4) Stochastic Process Algebras (SPA)
随机进程代数(SPA)
5) (probabilistic) process algebra
(概率)进程代数
6) PEPA
性能评价进程代数
1.
In particular we focus on Hillston s Performance Evaluation Process Algebra (PEPA).
介绍了使用随机进程代数作为性能建模的一种方法,着重介绍了Hillston提出的性能评价进程代数(PEPA),主要论述了使用PEPA模型性能评价方法及特点,讨论资源利用率系统性能分析方法,最后归纳了性能评价进程代数(PEPA)研究的应用领域,并对未来研究方向提出了展望。
补充资料：进程代数
进程代数
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年代后期出现了许多计算机支持工具。用这些工具可对进程的行为进行推理或模拟。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条