Execution order

The platform supports the following operators for managing the order in which actions are executed:

• Sequence ({ ... })
• Action call (EXEC)
• Loop (FOR)
• Recursive loop (WHILE)
• Branching (IF)
• Interruption (BREAK)
• Exit (RETURN)
• New thread (NEWTHREAD, NEWEXECUTOR)
• Exception handling (TRY)