摘要
摘要
ACM12型 ACM/IEE-CS计算机课程联合工作组。 2013年计算机科学课程，铁人草案（0.8版），2012年11月。 http://ai.stanford.edu/users/sahami/CS2013/ 。2013年8月1日访问 谷歌学者 
BA10公司 模型检查入门 ACM Inroads公司 2010 1 1 40 47 10.1145/1721933.1721950 谷歌学者 数字图书馆 
95巴 Barrett G（1995）《模型检验实践：T9000虚拟通道处理器》。 IEEE Trans Softw Eng 21（2）：69–78。 内政部： https://doi.org/10.109/32.345823 2017年12月11日访问 谷歌学者 巴尔05 Barnes FRM（2005）RMoX：偶然- 操作系统，2005年1月。 http://www.frmb.org/rmox.html 2017年12月1日访问 谷歌学者 巴尔06 Barnes Frederick RM（2006）编译CSP。 收录于：韦尔奇PH、克里奇J、巴恩斯FRM（eds）《通信过程体系结构2006》，第64卷，并行系统工程系列的WoTUG-29。 阿姆斯特丹IOS出版社，第377-388页。 国际标准图书编号：1-58603-671-8 谷歌学者 BKPS97型 Buth B，Kouvaras M，Peleska J，Shi H（1997）容错系统的死锁分析。 摘自：第六届代数方法与软件技术国际会议论文集（AMAST97），第60-75页 谷歌学者 桶数99 Buth B，Peleska J，Shi H（1999）容错系统活锁分析的组合方法。 摘自：第七届代数方法与软件技术国际会议论文集（AMAST98），第124–139页 谷歌学者 巴西10 使用csp和精化检查面向进程的操作系统行为 ACM SIGOPS操作系统版本 2010 43 4 45 49 10.1145/1713254.1713265 谷歌学者 数字图书馆 兄弟08 Brown Neil CC（2008）《通信Haskell进程：使用单体的可组合显式并发》。 收录人：Welch PH，Stepney S，Polack FAC，Barnes FRM，McEwan AA，Stiles GS，Broenink JF，Sampson AT（eds）Communicating process architectures 2008，vol 66 of Concurrent systems engineering。WoTUG，IOS Press，Amsterdam，第67–83页。 谷歌学者 布罗10a Brown NCC（2010）C++CSP主页。 肯特大学编程语言和系统研究小组。 http://www.cs.kent.ac.uk/projects/ofa/c ++csp公司/ 2017年12月11日访问 谷歌学者 布罗10b Brown NCC（2010）《沟通哈斯克尔过程》主页。 肯特大学编程语言和系统研究小组。 http://www.cs.kent.ac.uk/projects/ofa/chp/ 2017年12月11日访问 谷歌学者 BW03型 Brown NCC，Welch PH（2003）《Kent C++CSP库简介》。 收录：Broenik JF、Hilderink GH（编辑）《通信过程架构2003》，WoTUG-26，并发系统工程，ISSN 1383-7575。 阿姆斯特丹IOS出版社，第139-156页。 国际标准图书编号：1-58603-381-6 谷歌学者 BW04型 Barnes FRM，Welch PH（2004）《通信移动流程》。 在：East I、Martin J、Welch PH、Duce D、Green M（eds）Communicating process architectures 2004，第62卷，并发系统工程系列的WoTUG-27，ISSN 1383-7575。 阿姆斯特丹IOS出版社，第201-218页。 国际标准图书编号：1-58603-458-8 谷歌学者 BWMW10型 Barnes FRM、Welch PH、Moores J、Wood DC（2010）KRoC主页。 肯特大学编程语言和系统研究小组。 http://www.cs.kent.ac.uk/projects/ofa/kroc/ 2017年12月11日访问 谷歌学者 Cha16页 Chalmers K（2016）根据并行设计模式和框架沟通过程架构。 内容：2015年沟通流程架构。 Open Channel Publishing Ltd.，第227-244页。 国际标准图书编号：978-0-9565409-9-7 谷歌学者 顿94 MPI：一种消息传递接口标准 国际J超级计算机高性能计算 1994 8 165 184 谷歌学者 DT13型 Danalpto M，Torquati M（2013）结构化并行编程的RISC构建块集。 摘自：2013年2月27日至3月1日在英国贝尔法斯特举行的第21届并行、分布式和基于网络的处理欧洲微观国际会议，PDP 2013，第46-50页 谷歌学者 14级 Gibson-Robinson T、Armstrong P、Boulgakov A、Roscoe AW（2014）FDR3-CSP的现代精炼检查器。 在：2014年系统构建和分析的工具和算法，第LNCS 8413卷。 柏林施普林格 谷歌学者 GRABR16级 Gibson Robinson T，Armstrong P，Boulgakov A，Roscoe AW（2016）故障分歧细化（FDR）版本4 谷歌学者 GRS93级 Goldsmith MH、Roscoe AW、Scott BGO（1993）《occam2的指称语义》（第1部分）。 交通通信1（2）：65–91。 纽约威利。 谷歌学者 GRS94级 Goldsmith MH、Roscoe AW、Scott BGO（1994）《occam2的指称语义》（第2部分）。 交通通信2（1）：25–67。 纽约威利。 谷歌学者 HC02型 Hall A，Chapman R（2002）《建筑的正确性：开发商业安全系统》。 IEEE软件19（1）：18–25。 内政部： https://doi.org/10.109/52.976937 。2017年12月11日访问 谷歌学者 Hoa85型 Hoare CAR（1985）通信顺序过程。 普伦蒂斯·霍尔，恩格尔伍德悬崖 谷歌学者 第3期 Holzmann G（2003）《自旋模型检查器：入门和参考手册》。 Addison-Wesley专业阅读 谷歌学者 接线盒V03 Jacobsen CL、Barnes FRM、Vinter B（2003）《RMoX：原始金属偶然实验》。 收录：Broenik JF、Hilderink GH（编辑）《沟通过程体系结构》，2003年。 阿姆斯特丹IOS出版社，第269-288页 谷歌学者 JJ04型 Jacobsen CL，Jadud MC（2004）transterpreter：一个transterpreter口译员。 In：East IR、Duce D、Green M、Martin JMR、Welch PH（eds）Communicating process architectures 2004，第62卷，并行系统工程系列的WoTUG-27。 阿姆斯特丹IOS出版社，第99–106页 谷歌学者 低96 Lowe Gavin（1996）使用FDR打破和修复Needham-Schoreder公钥协议。 收录于：《系统构建和分析的工具和算法》，第147-166页。 Springer-Verlag公司 谷歌学者 99百万 Milner R（1999）《通信和移动系统： -微积分。 剑桥大学出版社，剑桥，ISBN-10:0521658691，ISBN-13:9780521658690 谷歌学者 07年3月 McEwan AA，Schneider S（2007）使用CSP和B对AMBA总线进行建模和分析。In:McEwan-AA（ed）Schneider-S，Ifill W，Welch PH（eds）Communicating process architectures 2007，vol 65 WoTUG-30 of Concurrent systems engineering series。 WoTUG，阿姆斯特丹IOS出版社，第379–398页 谷歌学者 PW15型 Pedersen JB，Welch PH（2017）并发与形式验证的共生：教学与案例研究。 在线支持材料。 http://www.santaclausproblem.net/verification网站/ 2017年12月1日访问 谷歌学者 RGG+95型 Roscoe AW、Gardiner PHB、Goldsmith MH、Hulance JR、Jackson DM、Scattergood JB（1995）模型检查CSP的分层压缩或如何检查 让哲学家陷入僵局。 在：系统构建和分析的工具和算法，第LNCS 1019卷。 柏林施普林格 谷歌学者 RL10型 Rustan K，Leino M（2010）Dafny：功能正确性的自动程序验证器。 在：第16届编程人工智能和推理逻辑国际会议，第LNCS 6355卷。 柏林施普林格，第348-370页 谷歌学者 罗布12 Pike R（2012）Go并发模式，幻灯片5-8。 http://talks.golang.org/2012/concurrency.slide 2017年12月1日访问 谷歌学者 97俄罗斯 Roscoe A（1997）并发的理论与实践。 普伦蒂斯·霍尔，恩格尔伍德悬崖 谷歌学者 俄罗斯10 了解并发系统 2010 柏林 施普林格 10.1007/978-1-84882-258-0 1211.68205 谷歌学者 交叉引用 
皇家B12 轻量级通信进程的多核调度 科学计算程序 2012 77 6 727 740 2016年10月10日/j.scico.2011.04.006 谷歌学者 数字图书馆 RW07系列 Ritson CG，Welch PH（2007）复杂系统建模的面向过程的体系结构。 收录于：McEwan AA、Schneider S、Ifill W、Welch PH（eds）Communicating process architectures 2007，第65卷，并行系统工程系列的WoTUG-30。 阿姆斯特丹IOS出版社，第249-266页。 国际标准图书编号：978-1-58603-767-3 谷歌学者 RW10型 面向过程的复杂系统建模体系结构 协和计算实践经验 2010 22 965 980 10.1002/cpe.1433 谷歌学者 交叉引用 2007年3月 Sampson AT（2007）使用Tock-CPA 2007边缘将occam编译为C。 肯特大学系统研究小组。 http://www.wotug.org/paperdb/send_file.php？num=217 2017年12月11日访问 谷歌学者 2008年3月 Sampson AT（2008）用于occam的双向协议- 收录：韦尔奇PH、斯蒂芬尼S、波拉克FAC、巴恩斯FRM、麦克尤恩AA、斯蒂尔斯GS、布伦尼克JF、桑普森AT（eds）《通信过程体系结构2008》，第66卷，并行系统工程系列的沃图-31。 阿姆斯特丹IOS出版社，第85–97页 谷歌学者 萨姆10 Sampson Adam T（2010）《面向过程的并行软件工程模式》，肯特大学博士论文，2010年10月。 http://offog.org/publications/ats-thesis.pdf 。2017年12月11日访问 谷歌学者 丁苯橡胶+10 Sampson AT、Brown NCC、Ritson CG、Jacobsen CL、Jadud MC、Simpson J（2010）Tock（Kent从occam翻译为C）主页。 肯特大学系统研究小组， http://projects.cs.kent.ac.uk/projects/tock/trac/ 2017年12月11日访问 谷歌学者 SD04标准 Schneider Steve，Delicata Rob（2004）《验证安全协议：CSP的应用》。 摘自：Abdallah Ali E、Jones Cliff B、Sanders Jeff W（编辑）《传达顺序过程》。 前25年，LNCS 3525卷，第243-263页。 施普林格，柏林 谷歌学者 95新加坡元 SGS-THOMSON Microelectronics Limited（1995）occam 2.1参考手册。 普伦蒂斯·霍尔，恩格尔伍德悬崖 谷歌学者 SRJ+10 Sampson AT、Ritson CG、Jadud MC、Barnes FRM、Welch PH（2010年）occam- 主页。 肯特大学编程语言和系统研究小组。 http://occam-pi.org/ 2017年12月11日访问 谷歌学者 步骤03 Stepney S（2003）CSP/FDR2到Handel-C的翻译。 约克大学计算机科学系YCS-2002-357技术报告 谷歌学者 SWT+07号机组 Stepney S.、Welch PH、Timmis J、Alexander C、Barnes FRM、Bates M、Polack FAC、Tyrrell A（2007）《CoSMoS:复杂系统建模与仿真基础设施》，2007年4月。 EPSRC授予EP/E053505/1和EP/E049419/1。 http://www.cosmos-research.org/ 2017年12月11日访问 谷歌学者 WB05a号机组 Welch Peter H，Barnes Frederick RM（2005）《通信移动过程：引入occam》- 收录：Abdallah Ali E、Jones Cliff B、Sanders Jeff W（编辑）《计算机科学讲义》第3525卷，第175-210页。 柏林施普林格 谷歌学者 WB05b号 Welch Peter H，Barnes Frederick RM（2005）《occam的移动障碍》- ：语义、实现和应用。 收录于：Broenink Jan F、Roebbers Herman W、Sunter Johan PE、Welch Peter H Wood David C（编辑）《通信过程架构2005》，第63卷，并行系统工程系列的WoTUG-28，第289-316页。 IOS出版社，阿姆斯特丹ISBN:1-58603-561-4 谷歌学者 WB08系列 Welch Peter H，Barnes Frederick RM（2008）移动频道的CSP模型。 参见：《通信过程体系结构2008》，第66卷，并行系统工程系列的WoTUG-31，第17-33页。 阿姆斯特丹IOS出版社。 国际标准图书编号：978-1-58603-907-3 谷歌学者 WB11a公司 Welch P H，Brown N C C（2011），《JCSP（Java CSP）主页》，2011年。 http://www.cs.kent.ac.uk/projects/ofa/jcsp/ 2017年12月11日访问 谷歌学者 WB11b公司 Welch Peter H，Brown Neil CC（2011）《自我验证餐饮哲学家》。 2011年9月，向国际知识产权联合会第2.4工作组介绍。 https://www.cs.kent.ac.uk/research/groups/plas/wiki/IFIP_WG24 2017年12月11日访问 谷歌学者 WBM+07 Welch PH、Brown NCC、Moores J、Chalmers K、Sputh BHC（2007）《整合和扩展JCSP》。 收录于：McEwan Alistair A、Schneider S、Ifill W、Welch P（eds）Communicating process architecture 2007，并发系统工程系列第65卷，第349-370页。 阿姆斯特丹IOS出版社。 国际标准图书编号：978-1-58603-767-3 谷歌学者 WBM+10 交替障碍：使用CSP在Java中与选择同步 协和计算实践经验 2010 22 1049 1062 10.1002/cpe.1471 谷歌学者 交叉引用 Wel00公司 Welch-Peter H（2000）面向过程的Java并发设计。 收录于：PDPTA 2000，第1卷，第51–57页。 CSREA出版社。 国际标准图书编号：1-892512-52-1 谷歌学者 Wel13a公司 Welch Peter H（2013）《偶然事件的生活》。 在：Welch Peter H、Barnes Frederick RM、Broenink Jan F、Chalmers K、Pedersen Jan B、Sampson Adam T（编辑）《通信过程架构2013》，第293–318页。 Open Channel Publishing Ltd.ISBN:978-0-9565409-7-3。 http://www.wotug.org/papers/CPA-2013/Welch13a/Welch13 a.pdf 2017年12月11日访问 谷歌学者 Wel13b公司 Welch PH（2013）《并行设计与实践》，课程模块。 http://www.cs.kent.ac.uk/projects/ofa/sei-cmu/ 2017年12月11日访问 谷歌学者 Wik13号机组 维基百科（2013）XMOS XCore XS1。 http://en.wikipedia.org/wiki/XCore 2017年12月11日访问 谷歌学者 工作包10 圣诞老人：面向过程解决方案的形式化分析 ACM事务处理。 程序。 语言系统。 2010 32 4 37 10.1145/1734206.1734211 谷歌学者 数字图书馆 WPB+11号机组 Welch Peter H、Pedersen Jan Baekgaard、Barnes Frederick R M、Ritson Carl G、Brown Neil CC（2011）《向occam添加正式验证》- 摘自：《通信过程体系结构》2011年第68卷，并行系统工程系列的WoTUG-33，第379-379页。 阿姆斯特丹IOS出版社。 国际标准图书编号：978-1-60750-773-4 谷歌学者 WPBR11项目 Welch Peter H、Pedersen Jan B、Barnes Frederick RM、Ritson Carl G（2011）《自验证并发编程》。 2011年9月，向国际知识产权联合会第2.4工作组介绍。 https://www.cs.kent.ac.uk/research/groups/plus/wiki/IFIP_WG24网站 2017年12月11日访问 谷歌学者 96年世界大战 Wood David C，Welch Peter H（1996）kent可重定向occam编译器。 收录：O'Neill B（ed）并行处理开发，第47卷，并行系统工程系列的WoTUG-19，第143-166页，阿姆斯特丹IOS出版社。 国际标准图书编号：90-5199-261-0 谷歌学者 WWSK12系列 大胆行动：occam-pi工程应急任务 自然计算 2012 11 三 449 474 2972092 2007年10月10日/11047-012-9304-2 谷歌学者 数字图书馆 XMO13公司 XMOS Ltd.（2017）《xCORE差异》。 XMOS有限公司。 http://www.xmos.com/products/silion 2017年12月1日访问 谷歌学者
