An assignment statement of the form
in which the value of the terms
t1, …,
tn over some signature ∑ are evaluated and assigned in parallel as the new values of the variables
x1, …,
xn. For example, the concurrent assignment
simply swaps the values of
x and
y.