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.