霍尔格赫尔曼斯;克里斯托夫·朱伯特 CADP的一组性能和可靠性分析组件。 （英语） Zbl 1031.68552号 Garavle，Hubert（编辑）等人，《系统构建和分析的工具和算法》。2003年4月7日至11日在波兰华沙举行的2003年第9届TACAS国际会议，是欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2619, 425-430 (2003). 摘要：本文描述了一组分析组件，这些组件为使用CADP工具箱执行性能和可靠性分析开辟了道路，最初设计用于验证LOTOS规范的功能正确性。工具箱中添加了三个新工具（名为BCG_STEADY、BCG_TRANSIENT和DETERMINATOR）。所采用的方法非常适合CADP的现有体系结构，无需更改即可进行性能评估。关于整个系列，请参见[Zbl 1017.00035号]. 引用于2文件 MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 软件：GreatSPN公司;GreatSPN 1.7;莫比乌斯;聪明的_;政治公众人物协议;CADP公司;SPNP公司 PDF格式BibTeX公司 XML格式引用 \textit{H.Hermanns}和\textit{C.Joubert}，莱克特。注释计算。科学。2619425-430（2003年；Zbl 1031.68552） 全文： 链接