Next: Function Calls, Previous: CHP Nondeterministic Selection, Up: CHP Statements
No else clauses allowed.
Operational Semantics: Loop until all guards are false.
Execution: Never blocks because there is an implicit else-clause that skips/exits the loop.