The main unit of syntax is the block. Blocks are composed of statements, enclosed in curly braces, and are one of four types: sequential (seq), parallel (par), alternative (alt), and prioritized (pri).
sequential |
Statements inside the block execute one at a time in the order they are given. Execution of the block terminates after all its statements have terminated. |
parallel |
Statements inside the block execute all at once, in random order. Execution of the block terminates after all its statements have terminated. |
|