The most basic command is given by a variable v and a term t. The phrase
is called an assignment and it is meant to denote the map transforming state
to 
, where a is the value of t in state , i.e.
Non-conflicting assignments my be executed in parallel
where the values of 
are updated with the (simultaneously computed)
values of 
respectively, i.e.
