CSP Commands

• Guarded command: <guard> --> <command list>
• Alternative command: [ G1 --> S1 [] G2 --> S2 [] ... [] Gn --> Sn ]
  1. evaluate all guards.
  2. if more than one guard is true, nondeterministically select one.
  3. if no guard is true, terminate.
• Repetitive command: * [ G1 --> S1 [] G2 --> S2 [] ... [] Gn --> Sn ]
  Repeatedly execute the alternative command until none of the guards are true.