A.W.罗斯科。 具有优先级的CSP的表达能力。 （英语） Zbl 1351.68148号 Dan Ghica（编辑），第31届编程语义数学基础会议论文集（MFPS XXXI），荷兰奈梅亨，2015年6月22日至25日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记319，387-401，仅电子版（2015）。MSC公司：68问题55 2010年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.W.Roscoe}，电子。注释Theor。计算。科学。319387——401（2015年；Zbl 1351.68148） 全文： 内政部
托比·默里 关于模型检查CSP细化测试的限制。 （英语） Zbl 1259.68131号 正式Asp。计算。 25，第2期，219-256（2013）.MSC公司：60年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{T.Murray}，正式Asp。计算。25，第2号，219--256（2013；Zbl 1259.68131） 全文： 内政部
Michael Leuschel先生;玛丽莎·洛伦斯;哈维尔·奥利弗;乔塞普·席尔瓦;萨尔瓦多塔马利特 显式同步语言的静态切片。 （英语） Zbl 1253.68246号 Inf.计算。 214, 10-46 (2012).MSC公司：68问题85 68甲15 68号30 PDF格式BibTeX公司 XML格式引用 \textit{M.Leuschel}等人，《信息计算》。214，10--46（2012；Zbl 1253.68246） 全文： 内政部
加文·洛 运行进程的多个副本的CSP优化测试。 （英语） Zbl 1339.68169号 Michael Goldsmith（编辑）等人，《关键系统自动验证第七届国际研讨会论文集》（AVoCS 2007），英国牛津，2007年9月10日至12日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记250，第1期，153-170（2009）。MSC公司：60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{G.Lowe}，电子。注释Theor。计算。科学。250，第1号，153--170（2009；Zbl 1339.68169） 全文： 内政部
加文·洛 通信过程规范：时序逻辑与基于拒绝的细化。 （英语） 兹比尔1149.68056 正式Asp。计算。 20，第3期，277-294（2008）.MSC公司：60年第68季度 03B44号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{G.Lowe}，正式Asp。计算。20，第3号，277--294（2008；Zbl 1149.68056） 全文： 内政部 链接
格雷姆·史密斯;约翰·德里克 使用模型检查器验证数据优化。 （英语） Zbl 1105.68074号 正式Asp。计算。 18，第3期，264-287（2006）.MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Smith}和\textit{J.Derrick}，正式Asp。计算。18，第3号，264--287（2006；Zbl 1105.68074） 全文： 内政部