并发设计与实践（occam-pi版本）

教学资源：

[以下链接的所有Kent教材都是GNU版权所有作者–邀请您将其用于教学或学习。然而，如果你这样做了，请给我们一些反馈。谢谢，彼得·韦尔奇<p.h.welch@kent.ac.uk>.]
• 讲座幻灯片（PPT和PDF）

• occam-pi型参考（维基）
• occam-pi型样式指南（维基）
• occamDoc公司参考（Wiki）

• 浏览文档用于kroc库（HTML）。

• 答案2000年以来（匿名）学生问题页面（HTML）

• 练习图纸和起始文件（DOC、PDF和OCC）
• 例子程序和重要的自述文件（OCC和TXT）
• 一些论文（PDF格式）

• occam-pi主页（HTML）
• KRoC主页（HTML）
• Transperformer主页（HTML）

• 韩国卢比安装页面（HTML）

• 奥卡德街机游戏库（HTML）
• 爱Midi和音频实时混音库（HTML）

• 弗雷德的occam教程（HTML）
• 弗雷德的偶然冒险（HTML）

• occam-pi扩展按接受/实施顺序（HTML）
• 奥卡姆改进建议（维基）

• 大学Kent Systems Research Group Wiki的（维基）
• 金枪鱼演示页面（维基）
• 金枪鱼凝血3D模型（维基）

• 复杂系统建模与仿真基础设施–CoSMoS（HTML）
• CoSMoS演示（HTML）
• CoSMoS维基（仅限项目成员，Wiki）

• 原金属occam操作系统–RMoX（HTML）
• RMoX维基（仅限项目成员，Wiki）

• 联合能力保障计划–CSP库适用于Java（HTML）
• 同时发生的使用JCSP编程–IBM developerWorks教程（HTML）
• 热电联产–顾客服务提供商Haskell库（HTML）
• C++CSP–顾客服务提供商C++库（HTML）

• 2012年CPA会议–苏格兰阿伯泰大学（HTML）
• 2011年CPA会议–爱尔兰利默里克大学（HTML）
• CPA 2009年会议–荷兰埃因霍温理工大学（HTML）
• CPA 2008会议–英国约克大学（HTML）
• 2007年CPA会议–英国萨里大学（HTML）
• WoTUG–注册会计师论文数据库（菲律宾比索）
• WoTUG主页（HTML）

• 财务总监–模型检查器CSP（HTML）

• CSP（维基百科）（HTML）