From 905db55bc147fefb963241558ada52618681f90e Mon Sep 17 00:00:00 2001 From: Kevin Mulvey Date: Fri, 13 Feb 2015 15:53:46 -0500 Subject: [PATCH] add ccs link --- processes/README.md | 1 + 1 file changed, 1 insertion(+) diff --git a/processes/README.md b/processes/README.md index 5c4a102..c898731 100644 --- 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)