parent
c0958c3af6
commit
905db55bc1
@ -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)
|
||||
|
Loading…
Reference in new issue