====== Week 11 ======

~~NOTOC~~

**// Channels, CSP, and kroc//**



===== Communicating Sequential Processes =====
    * Professor Peter Welch's [[courses:cs377-201301:welch-lectures:top|occam tutorial slides]] and 
      * basics.pdf
        * Processes and Channel-Ends: 16
        * Synchronized Unbuffered Communication: 31
        * Primitive processes: 52
        * Structured processes: 65
        * Legoland Catalog: 84

===== Assignment =====

    * //to come/