随机进程代数新技术综述(英文)  

A survey on new techniques developed for stochastic process algebras

作　　者：戴慧[1] 丁杰[2] 

机构地区：[1]南京工程学院计算机工程学院,南京211167 [2]扬州大学信息工程学院,江苏扬州225009

出　　处：《软件》2011年第8期50-60,共11页Software

基　　金：国家自然科学基金(61103018,61003180,61070133);江苏省自然科学基金(SBK201122850,BK2006064,BK21010311);北京航空航天大学软件开发环境国家重点实验室开放课题(SKLSDE-2011KF-08)

摘　　要：本文以PEPA语言为例,对近年来发展起来的随机进程代数的缓解状态空间爆炸问题的新技术做一个综述.This paper presents a survey on the techniques developed for the PEPA language and other stochastic process algebras to deal with the state space explosion problems.

关 键 词：综述 随机进程代数 PEPA 状态空间爆炸 

分 类 号：TP393[自动化与计算机技术—计算机应用技术]