-
Notifications
You must be signed in to change notification settings - Fork 13
ProcessBehaviour
Kerem Ispirli edited this page Jul 14, 2017
·
1 revision
ProcessBehaviour¶
Syntax¶
| processBehaviour | processBehaviour "[>>>](Enable_Operator)" processBehaviour | processBehaviour "[>>>](Enable_Operator)" "ACCEPT" ("?" [varDecl](VarDecl) | "!" [valExpr](ValExpr) )* IN processBehaviour NI | processBehaviour "[[>>](Disable_Operator)" processBehaviour | processBehaviour "[[><](Interrupt_Operator)" processBehaviour | processBehaviour "[||](Synchronized_Operator)" processBehaviour | processBehaviour "[|||](Parallel_Operator)" processBehaviour | [processBehavioursSynchronizedOnChannels](Synchronized_Channels_Operator) | processBehaviour "[##](Choice_Operator)" processBehaviour | [condition](Condition) "[=>>](Guard_Operator)" processBehaviour | [communications](Communications) ("[>->](Sequence_Operator)" processBehaviour)? | [STOP](STOP) | [procCall](ProcCall) | [letProcessBehaviour](LET) | [hideChannelsInProcessBehaviour](HIDE) | "(" processBehaviour ")" |