while-loop

The following is valid µOCCAM. This tests the WHILE loop, when nested inside a sequence. The loop forms a valid process.

SEQ
  stdin ? n
  stdin ? m

  WHILE n > 0
    SEQ
      temp := n
      n    := m \ n
      m    := temp

  stdout ! m