Concurrency Design and Practice (occam-pi version)

Teaching Resources:

[All Kent teaching materials linked below are GNU Copyleft the authors – you are invited to use them for teaching or learning. However, if you do, please give us some feedback. Thanks, Peter Welch <p.h.welch@kent.ac.uk>.]
• Lecture slides (PPT and PDF)

• occam-pi reference (Wiki)
• occam-pi style guide (Wiki)
• occamDoc reference (Wiki)

• Browse the documentation for the kroc libraries (HTML).

• Answer pages for (anonymous) student questions since 2000 (HTML)

• Exercise sheets and starter files (DOC, PDF and OCC)
• Example programs and important README (OCC and TXT)
• Some papers (PDF)

• The occam-pi Home Page (HTML)
• The KRoC Home Page (HTML)
• The Transterpreter Home Page (HTML)

• KRoC Installation Page (HTML)

• occade library for arcade games (HTML)
• LoVE library for Midi and audio live mixing (HTML)

• Fred's occam tutorial (HTML)
• Fred's occam adventures (HTML)

• occam-pi extensions in order of acceptance/implementation (HTML)
• occam Enhancement Proposals (Wiki)

• The University of Kent Systems Research Group Wiki (Wiki)
• TUNA demonstrations Page (Wiki)
• TUNA blood clotting 3D-model (Wiki)

• Complex Systems Modelling and Simulation infrastructure – CoSMoS (HTML)
• CoSMoS demos (HTML)
• CoSMoS Wiki (project members only, Wiki)

• Raw Metal occam Operating System – RMoX (HTML)
• RMoX Wiki (project members only, Wiki)

• JCSP – CSP library for Java (HTML)
• Concurrent Programming with JCSP – IBM developerWorks tutorial (HTML)
• CHP – CSP library for Haskell (HTML)
• C++CSP – CSP library for C++ (HTML)

• CPA 2012 conference – University of Abertay, Scotland (HTML)
• CPA 2011 conference – University of Limerick, Ireland (HTML)
• CPA 2009 conference – Technische Universiteit Eindhoven, the Netherlands (HTML)
• CPA 2008 conference – University of York, UK (HTML)
• CPA 2007 conference – University of Surrey, UK (HTML)
• WoTUG – CPA papers database (PHP)
• WoTUG Home Page (HTML)

• FDR – model checker for CSP (HTML)

• CSP (Wikipedia) (HTML)