ProcessBehaviour¶
Syntax¶
processBehaviour |
processBehaviour “>>>” processBehaviour | processBehaviour “>>>” “ACCEPT” (“?” varDecl | “!” valExpr )* IN processBehaviour NI | processBehaviour “:ref:>>`” processBehaviour | processBehaviour “:ref:><” processBehaviour | processBehaviour “:ref:`||” processBehaviour | processBehaviour “|||” processBehaviour | processBehavioursSynchronizedOnChannels | processBehaviour “##” processBehaviour | Condition “=>>” processBehaviour | Communications (”>->” processBehaviour)? | STOP | procCall | [letProcessBehaviour` | [hideChannelsInProcessBehaviour` | “(” processBehaviour “)” |