摘要
摘要
农行+94 分布式系统性能分析的LOTOS扩展 IEEE/ACM传输网络 1994 2 2 151 165 10.1109/90.298433 谷歌学者 
数字图书馆 
农行+95 广义随机Petri网建模 1995 纽约 威利 843.68080 谷歌学者 澳大利亚银行11 Acciai L、Boreale M、De Nicola R（2011）《概率反应环境中的线性时间和可能测试》。 摘自：《2011年FMOODS会议录》。 计算机科学课堂讲稿，第6722卷。 施普林格，柏林，第29-43页 谷歌学者 Bae05公司 进程代数简史 Theor计算机科学 2005 335 131 146 2137953 1080.68072 2016年10月10日/j.tcs.2004.07.036 谷歌学者 数字图书馆 BBD03公司 模型检验随机自动机 ACM事务计算逻辑 2003 4 4 452 492 2002268 10.1145/937555.937558 谷歌学者 数字图书馆 BBG97型 Bravetti M、Bernardo M、Gorrieri R（1997）《从EMPA到GSMPA：允许一般分配》。 摘自：1997年PAPM会议记录，恩舍德，第17-33页 谷歌学者 BBK87公司 论库门公平抽象规则的一致性 Theor计算机科学 1987 51 1 129 176 908483 621.68010 10.1016/0304-3975(87)90052-1 谷歌学者 数字图书馆 BBR10型 Baeten JCM，Basten T，Reniers MA（2010）过程代数：通信过程的方程理论。 收录：剑桥理论计算机科学丛书，第50卷。 剑桥大学出版社 谷歌学者 BD04型 Bravetti M，D’Argenio PR（2004）Tutte le algebrare inseme:随机过程代数与一般分布的概念、讨论和关系。 收录：随机系统的验证——当前研究指南。 计算机科学课堂讲稿，第2925卷。 柏林施普林格，第44-88页 谷歌学者 BDHK06银行 MODEST：硬时间和软时间系统的组合建模形式主义 IEEE Trans软件工程 2006 32 812 830 10.1109/TSE.2006.104 谷歌学者 数字图书馆 BG98型 EMPA教程：具有不确定性、优先级、概率和时间的并发过程理论 Theor计算机科学 1998 202 1–2 1 54 1626813 902.68075 10.1016/S0304-3975（97）00127-8 谷歌学者 数字图书馆 BKLL95型 基于随机因果的过程代数 计算J 1995 38 7 552 565 10.1093/comjnl/38.7.552 谷歌学者 交叉引用 
BM02型 进程代数与时间。 收录：理论计算机科学专著 2002 柏林 施普林格 谷歌学者 巴西04 Baeten JCM，Reniers MA（2004）时序过程代数（重点关注显式终止和相对时序）。 摘自：SFM 2004年会议记录。 计算机科学讲义，第3185卷。 柏林施普林格，第59-97页 谷歌学者 布拉02 Bravetti M（2002）《随机实时系统的规范和分析》。 大学博士论文 第博洛尼亚 谷歌学者 BW90型 进程代数。 剑桥理论计算机科学丛书，第18卷 1990 剑桥 剑桥大学出版社 谷歌学者 CSKN05型 Cattani S，Segala R，Kwiatkowska M，Norman G（2005）连续状态空间和非确定性的随机转移系统。 摘自：FoSSaCS’05会议记录。 计算机科学讲义，第3441卷。 柏林施普林格，第125-139页 谷歌学者 CSV07型 Cheung L，Stoelinga M，Vaandrager F（2007）概率过程的测试场景。 J最高54 谷歌学者 D'A03年 D’Argenio PR（2003）《从随机自动机到时间自动机：以合成的方式抽象概率》。 摘自：布宜诺斯艾利斯WAIT 2003会议记录 谷歌学者 dAHJ01型 de Alfaro L，Henzinger T，Jhala R（2001）概率系统的组合方法。 收录于：CONCUR 2001会议记录。 计算机科学讲义，第2154卷。 柏林施普林格，第351-365页 谷歌学者 DK05a公司 随机系统理论，第一部分：随机自动机 通知计算机 2005 203 1 1 38 2178016 1105.68061 10.1016/j.ic.2005.07.001 谷歌学者 DK05b（丹麦克朗） 随机系统理论，第二部分：过程代数 通知计算机 2005 203 1 39 74 2178015 1106.68073 2016年10月10日/j.ic.2005.07.002 谷歌学者 GA10公司 Georgievska S，Andova S（2010）《概率测试理论中的概率保持》。 收录于：FOSSACS 2010年会议记录。 计算机科学讲义，第6014卷。 柏林施普林格，第79-93页 谷歌学者 GA12公司 Georgievska S，Andova S（2012）概率CSP：通过受限调度程序维护法律。 收录：2012年MMB会议记录。 VDE Verlag（显示）。 可从以下位置获得： http://www.win.tue.nl/乔治亚/ . 谷歌学者 GD09年 分布式概率系统中调度器的表达能力 EPTCS系统 2009 253 45 71 谷歌学者 地理11 Georgievska S（2011）并发过程中的概率和隐藏。 埃因霍温理工大学博士论文 谷歌学者 格莱89 离散事件系统的GSMP形式 程序IEEE 1989 77 1 14 23 10.1109/5.21067 谷歌学者 交叉引用 赫尔02 Hermanns H（2002）交互式马尔可夫链：对量化质量的追求。 计算机科学课堂讲稿，第2428卷。 柏林施普林格 谷歌学者 96号山 性能建模的组合方法 1996 剑桥 剑桥大学出版社 10.1017/CBO9780511569951 谷歌学者 交叉引用 HMR94型 Hermanns H，Mertsiotakis V，Rettelbach M（1994）使用TIPP的分布式系统的性能分析。 收录：《94年英国石油学会会刊》。 爱丁堡大学，第131-144页 谷歌学者 Hoa85型 传达顺序流程 1985 恩格尔伍德克利夫斯 普伦蒂斯·霍尔 637.68007 谷歌学者 数字图书馆 如何71 动态概率系统 1971 纽约 威利 谷歌学者 KD01型 Katoen JP，D'Argenio PR（2001）《过程代数中的一般分布》。 内容：关于形式方法和性能分析的讲座。 计算机科学课堂讲稿，第2090卷。 柏林施普林格，第375–429页 谷歌学者 KNP02号机组 Kwiatkowska M，Norman G，Parker D（2002）PRISM:概率符号模型检查器。 摘自：《2002年工具学报》。 计算机科学课堂讲稿，第2324卷。 施普林格，柏林，第200-204页 谷歌学者 LN00（兰特） López N，Nüñez M（2000）NMSPA:随机过程的非马尔科夫模型。 收录于：ICDS 2000会议记录。 IEEE，第33–40页 谷歌学者 低93 Lowe G（1993）表示反应过程中的不确定性和概率行为。 技术报告PRG-TR-11-93，牛津大学计算实验室 谷歌学者 3月8日 Markovski J（2008）《用于性能评估的过程代数中的实时和随机时间》。 埃因霍温理工大学博士论文 谷歌学者 MMSS96型 面向细化的CSP概率 形式方面计算 1996 8 617 647 862.68050 2007年10月10日/BF01213492 谷歌学者 数字图书馆 MV06型 Markovski J，de Vink EP（2006）《在随机过程代数中嵌入实时性》。 摘自：EPEW 2006年会议记录。 计算机科学讲义，第4054卷。 柏林施普林格，第47-62页 谷歌学者 MV07型 Markovski J，de Vink EP（2007）随机延迟的实时过程代数。 载于：2007年ACSD会议记录。 IEEE，第177–186页 谷歌学者 MV08型 Markovski J，de Vink EP（2008）用离散随机时间扩展时间进程代数。 摘自：2008年AMAST会议记录。 计算机科学讲义，第5140卷。 柏林施普林格，第268-283页 谷歌学者 MV09型 基于离散实时和随机过程代数的分布式系统性能评估 Fundam通知 2009 95 1 157 186 1215.68049 谷歌学者 数字图书馆 NS92系列 Nicollin X，Sifakis J（1992）《时间过程代数的综述与综合》。 In：实时：理论在实践中。 计算机科学讲义，第600卷。 柏林施普林格，第526–548页 谷歌学者 第95段 Segala R（1995）随机分布式实时系统的建模与验证。 麻省理工学院博士论文 谷歌学者 一91 Yi W（1991）CCS+时间 z（z） =实时系统的交织模型。 摘自：ICALP’91会议记录。 计算机科学讲义，第510卷。 柏林施普林格，第217-228页 谷歌学者
建议
随机过程代数中的实时嵌入 EPEW'06：第三届欧洲绩效评估的形式方法和随机模型会议记录 我们提出了一个随机过程代数，其中包括即时动作、死锁和终止以及显式随机延迟，并在即时动作和时间流逝之间进行弱选择。 操作语义是一个花费的时间。。。 实时系统中竞争条件的不确定性分析 QRS’15:2015 IEEE软件质量、可靠性和安全国际会议记录 实时系统中的竞争条件可能会导致意外的计算结果。 由于实时系统的不确定性，许多静态和动态方法检测到的竞争条件可能会在一个执行环境中发生，但可能不会在另一个环境中发生。。。
