期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

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

A survey on new techniques developed for stochastic process algebras
在线阅读 下载PDF
导出
摘要 本文以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.
作者 戴慧 丁杰
机构地区 南京工程学院计算机工程学院 扬州大学信息工程学院
出处 《软件》 2011年第8期50-60,共11页 Software
基金 国家自然科学基金(61103018,61003180,61070133) 江苏省自然科学基金(SBK201122850,BK2006064,BK21010311) 北京航空航天大学软件开发环境国家重点实验室开放课题(SKLSDE-2011KF-08)
关键词 综述 随机进程代数 PEPA 状态空间爆炸 Survey stochastic process algebra PEPA State space explosion
分类号 TP393 [自动化与计算机技术—计算机应用技术]
  • 相关文献

参考文献92

  • 1R.Milner,Communication and Concurrency.Prentice Hall,1989.
  • 2C.A.R.Hoare,Communicating Sequential Processes.Prentice Hall,1985.
  • 3J.Hillston,A Compositional Approach to Performance Modelling (PhD Thesis).Cambridge University Press,1996.
  • 4M.Bernardo and R.Gorrieri,"A tutorial on EMPA:A theory of concurrent processes with nondeterminism,priorities,probabilities and time," Theoretical Computer Science,vol.202,pp.1-54,1998.
  • 5N.G(o)tz,U.Herzog,and M.Rettelbach,"TIPP-a language for timed processes and performance evaluation," Tech.Rep.4/92,IMMD7,University of Erlangen-N(o)rnberg,Germany,Tech.Rep.,Nov.1992.
  • 6H.Hermanns,"Interactive Markov chains," Ph.D.Dissertation,Universit(a)t Erlangen-Nürnberg,Germany,1998.
  • 7J.Ding,"Structural and fluid analysis of large scale PEPA models-with applications to content adaptation systems," Ph.D.dissertation,The Univeristy of Edinburgh,2010,http://www.dcs.ed.ac.uk/pepa/jiedingthesis.pdf.
  • 8J.Hillston,"Fluid flow approximation of PEPA models," in International Conference on the Quantitative Evaluation of Systems(QEST'05).IEEE Computer Society,2005.
  • 9S.Gilmore,J.Hillston,and M.Ribaudo,"An efficient algorithm for aggregating PEPA models," IEEE Trans.Softw.Eng.,vol.27,no.5,pp.449-464,2001.
  • 10J.Ding and J.Hillston,"Fundamental results of fluid approximations of PEPA models," http://arxiv.org/abs/1008.4754,Aug.2010.
软件
2011年 第8期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部