LET Process Behaviour

Syntax

letProcessBehaviour

“LET” assignment (“;” assignment)* “IN” ProcessBehaviour “NI”

assignment

varDecl “=” valExpr

Semantics

Introduce variables

Examples

Simultaneously define multiple variables

The statement

LET a = 5; b = 3; c = 8 IN
   ...
   LET a = 1+b; b = 2+a; c = a*b IN ... NI
   ...
NI
defines two times three new variables (a, b, and c).
Inside the first LET IN NI block except the second LET IN NI block, the values of a, b, and c are 5, 3, and 8, respectively.
Inside the second LET IN NI block, the values of a, b, and c are 4, 7, and 15, respectively.