![]() |
Task | Represents any piece of work. |
![]() |
Procedure call | Represents a procedure call. A procedure is built from the same statements as a process. |
![]() |
Receive | Represents receiving a message or waiting for if no one is present. |
![]() |
Send | Represents message sending. |
![]() |
Branching | |
![]() |
Loops | |
![]() |
Selective wait | Represents waiting for any of the specified messages. |
![]() |
Parallel flow | Represents parallel execution of branches. |