NOTATION
[] - Symbol for separation of statements
x, y, z := 0, 1, 2 - Multiple Assignment
x, y := 0, 1 | | z := 2 - Multiple Assignment
| | - Symbol For Parallel Execution
< | | i : 0 <=I<= N : : A[i] := B[i] > - Quantification
- Execute All In Parallel
x := 0 if y = 0 Guarded Statements