Merge pull request #283 from kmulvey/master

Add A Calculus of Communicating Systems
9 years ago · b9a02c2245
parent 6e1b45cfc0 905db55bc1
commit b9a02c2245
1 changed files with 1 additions and 0 deletions
--- a/processes/README.md
+++ b/processes/README.md
@ -1 +1,2 @@
 * [Communicating Sequential Processes](http://www.cs.ucf.edu/courses/cop4020/sum2009/CSP-hoare.pdf)
+* [Calculus of Communicating Systems](https://moodle.risc.jku.at/pluginfile.php/3407/mod_resource/content/1/A%20Calculus%20of%20Communicating%20Systems%5B1980%5D.pdf)