4 ms·
Communicating Sequential Processes
- helwr 15y agovia http://golang.org/doc/effective_go.html#concurrency http://golang.org/doc/effective_go.html#concurrency
- kbd 15y agoHere's a link to a PDF of the original 1978 paper: http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.132.6772&rep=rep1&type=pdf http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.132...
- pja 15y agoThanks 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. ( http://www.cs.ox.ac.uk/people/jim.davies/ http://www.cs.ox.ac.uk/people/jim.davies/ )
- gtani 15y agorelated by Hewitt (1973) and Agha: http://gbracha.blogspot.com/2011/01/maybe-monads-might-not-matter.html http://gbracha.blogspot.com/2011/01/maybe-monads-might-not-m...
- brs 15y agoSlightly 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.
- pja 15y agoI work in the department, so I can at least tell you who to ask if you've got any questions: Email is in my profile.
- jgrimes 15y agoThere is a library for Haskell that is largely inspired by these ideas. You can find the project page at http://www.cs.kent.ac.uk/projects/ofa/chp/ http://www.cs.kent.ac.uk/projects/ofa/chp/ and an introduction to CSP that relates the ideas back to this library here http://chplib.wordpress.com/2009/11/16/an-introduction-to-communicating-sequential-processes/ http://chplib.wordpress.com/2009/11/16/an-introduction-to-co...