托马斯·吉布森·罗宾逊;菲利普·阿姆斯特朗;亚历山大·布尔加科夫;Andrew W.罗斯科。 FDR3–CSP的现代细化检查器。 （英语） 兹比尔1392.68300 Ábrahám，Erika（编辑）等人，用于系统构建和分析的工具和算法。2014年4月5日至13日在法国格勒诺布尔举行的第20届国际会议（TACAS 2014），是欧洲软件理论与实践联合会议（ETAPS 2014）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-54861-1/pbk）。《计算机科学讲义》84131987-201（2014）。 概要：FDR3是对CSP细化检查器FDR2的完全重写，包含了大量增强功能。在本文中，我们从较高的层次描述了FDR3的操作，然后详细描述了它的几个更重要的创新。这包括新的多核细化检查算法，该算法能够随着核数的增加实现近似线性的速度提升。此外，我们描述了FDR3用于构建CSP进程内部表示的新算法——该算法比FDR2的效率更高，并且能够将大量CSP进程编译为更高效的内部表示。我们还提供了将FDR3与相关工具进行比较的实验结果，这表明FDR3（据我们所知）在扩展能力方面是唯一的。关于整个系列，请参见[Zbl 1301.68010号]. 引用于1审查引用于29文件 MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 软件：FDR3公司 PDF格式BibTeX公司 XML格式引用 \textit{T.Gibson-Robinson}等人，Lect。注释计算。科学。8413，187--201（2014；Zbl 1392.68300） 全文： DOI程序