. . . . "This is essentially thesame as pattern-matching as found in languages such as ML or Haskell, albeit,without a type system, the structure matched is that given by tuples.and then executes P.4??? The process if E then P else Q is a conditional, withthe standard meaning.??? The process par { P1 || ... || Pn }cesses P1,...,Pnin parallel.??? The processgroup of local process and/or function definitions" .