CSP, Theory

• Processes

• Events (Communications)

  • read from channel
  • write to channel

• Rules of Composition

  • Parallel
  • Choice
  • Non-deterministic Selection

Previous slide

Next slide

Back to first slide

View graphic version