Instruções elementares

• skip
  A usual instrução que não faz nada.
• u := e
  Atribuição da expressão e à variável u. Também existe na versão generalizada (u₁,...,u_k) := (e₁,...,e_k) em que são realizadas k atribuições simultâneas.
• await c
  O objectivo desta instrução é fazer a execução de um programa esperar até que a expressão boleana c seja verdadeira. Também existe a instrução halt que é uma abreviatura para await false. Quando um processo chega a esta instrução a sua execução não poderá progredir.
• $\alpha$ <== e
  Enviar a expressão e pelo canal $\alpha$. Um canal é uma variável com um estatuto especial, cujo tipo caracteriza os valores que podem ser enviados através dele.
• $\alpha$ ==> u
  Esta instrução permite receber um valor do canal $\alpha$, que será colocado na variável u com um tipo compatível. A execução desta instrução só termina quando existir um valor no canal para ser lido. Estas duas mensagens permitem utilizar o paradigma de passagem de mensagem para desenvolver programas concorrentes.
• request r
  Dado um inteiro r esta instrução decrementa o seu valor numa unidade, só podendo ser executada se r>0.
• release r
  Dado um inteiro r esta instrução incrementa o seu valor numa unidade. Estas duas instruções implementam as usuais operações sobre semáforos, necessárias para controlar o acesso concorrente a recursos limitados.