摘要
A.Argent-Katwala、J.Bradley和N.Dingle。 使用正则表达式表示性能需求，以指定进程代数模型上的随机探测。 第四届软件与性能国际研讨会论文集，第49-58页，美国加利福尼亚州红木海岸，2004年1月。 ACM出版社。 谷歌学者 
数字图书馆 
EMPA教程：具有不确定性、优先级、概率和时间的并发过程理论。 西奥。 计算。 科学。， 202(1-2):1--54, 1998. 谷歌学者 数字图书馆 J.T.Bradley和S.T.Gilmore。 随机模拟方法应用于安全电子投票模型。 选举人。 注释Theor。 计算。 科学。， 151（3）：2006年5月25日。 谷歌学者 数字图书馆 K.M.Chandy和D.Neuse。 线性化器：计算系统网络模型排队的启发式算法。 Commun公司。 美国医学会，25（2）：126--1341982年。 谷歌学者 数字图书馆 A.康威。 具有多服务器链相关fcfs队列的排队网络的快速近似解。 R.Puigjaner和D.Potier，编辑，《计算机性能评估的建模技术和工具》，第385-396页，纽约，1989年。 阻燃。 谷歌学者 交叉引用 
R.Darling和J.Norris。马尔可夫链的微分方程近似。 概率调查，5:37-792008。 谷歌学者 交叉引用 E.de Souza E Silva、S.S.Lavenberg和R.R.Muntz。 一种用于具有大量链的排队网络模型的聚类近似技术。 IEEE传输。 计算机，35（5）：419--4301986。 谷歌学者 数字图书馆 J.Dormand和P.Prince。 嵌入的Runge-Kutta公式族。 计算与应用数学杂志，6（1）：19-261980年3月。 谷歌学者 交叉引用 G.Franks、T.Omari、C.M.Woodside、O.Das和S.Derisavi。 分层排队网络的增强建模和解决方案。 IEEE传输。 软件工程，35（2）：148--1612009。 谷歌学者 数字图书馆 D.吉莱斯皮。 耦合化学反应的精确随机模拟。 物理化学杂志，81（25）：2340-23611977年12月。 谷歌学者 交叉引用 S.Gilmore、J.Hillston和M.Ribaudo。 一种有效的PEPA模型聚合算法。 IEEE软件工程学报，27（5）：449-4642001年5月。 谷歌学者 数字图书馆 N.Gotz、U.Herzog和M.Rettelbach。 TIPP—一种用于定时过程和性能评估的语言。 技术报告4/92，IMMD7，德国埃尔兰根-恩伯格大学，1992年11月。 谷歌学者 U.Herzog和J.A.Rolia。 软件/硬件系统的性能验证工具。 执行。 评估。， 45(2-3):125--146, 2001. 谷歌学者 数字图书馆 J.希尔斯顿。 性能建模的组合方法。 剑桥大学出版社，1996年。 谷歌学者 数字图书馆 J.希尔斯顿。 PEPA模型的流体流动近似。 第二届系统定量评估国际会议记录，第33-43页，意大利都灵，2005年9月。 IEEE计算机学会出版社。 谷歌学者 数字图书馆 C.A.R.霍尔。 Commun公司。 美国医学会，21（8）：666--677978年。 谷歌学者 数字图书馆 R.Milner。 通信系统微积分。 斯普林格·弗拉格，1980年。 谷歌学者 数字图书馆 卡尔顿大学系统和计算机工程系实时和分布式系统组。 LQNS软件包。 http://www.sce.carleton.ca/rads/lqns。 谷歌学者 M.Reiser和S.S.Lavenberg。闭合多链排队网络的均值分析。 J.ACM，27（2）：313-321980。 谷歌学者 数字图书馆 J.A.Rolia和K.C.Sevcik。 分层方法。 IEEE传输。 软件工程，21（8）：689--7001995。 谷歌学者 数字图书馆 M.Tribastone、A.Duguid和S.Gilmore。 《PEPA Eclipse插件》，《性能评估评论》，36（4）：28-332009年3月。 谷歌学者 数字图书馆 M.Tribastone和S.Gilmore。 从带有MARTE配置文件注释的UML活动图中自动提取PEPA性能模型。 编辑A.Avritzer、E.J.Weyuker和C.M.Woodside，《第七届软件与性能国际研讨会论文集》，WOSP，第67-78页，美国新泽西州普林斯顿，2008年。 ACM公司。 谷歌学者 数字图书馆 C.M.Woodside。 基本随机交会网络的吞吐量计算。 执行。 评估。， 9(2):143--160, 1989. 谷歌学者 数字图书馆
索引术语
关联分层排队网络与进程代数模型
