Week 11
Channels, CSP, and kroc
Communicating Sequential Processes
- Professor Peter Welch’s 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
