Thanks should go to Jim Davies at the Dept of Computer Science, University of Oxford for editing & releasing this updated version on the web by the way.<p>( <a href="http://www.cs.ox.ac.uk/people/jim.davies/" rel="nofollow">http://www.cs.ox.ac.uk/people/jim.davies/</a> )
There is a library for Haskell that is largely inspired by these ideas.<p>You can find the project page at <a href="http://www.cs.kent.ac.uk/projects/ofa/chp/" rel="nofollow">http://www.cs.kent.ac.uk/projects/ofa/chp/</a> and an introduction to CSP that relates the ideas back to this library here <a href="http://chplib.wordpress.com/2009/11/16/an-introduction-to-communicating-sequential-processes/" rel="nofollow">http://chplib.wordpress.com/2009/11/16/an-introduction-to-co...</a>
Here's a link to a PDF of the original 1978 paper:<p><a href="http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.132.6772&rep=rep1&type=pdf" rel="nofollow">http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.132...</a>
Slightly off topic, but does anyone have experience of the Software Engineering course mentioned at the end of the linked page? The functional/concurrent programming courses look quite interesting, speaking as someone who hasn't studied CS formally, but has dabbled in Haskell/PL theory and would like to learn more.
related by Hewitt (1973) and Agha:<p><a href="http://gbracha.blogspot.com/2011/01/maybe-monads-might-not-matter.html" rel="nofollow">http://gbracha.blogspot.com/2011/01/maybe-monads-might-not-m...</a>