Week 11

Channels, CSP, and kroc

• 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

• to come