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