Instruções agrupadas

Por vezes é necessário executar uma instrução composta num passo atómico, sem interferência de outras instruções a executar em paralelo. Para indicar que se pretende executar S de forma atómica escreve-se <<S>>. No entanto, nem todas as instruções compostas se podem agrupar, mas apenas aquelas que são formadas pelas seguintes instruções:

• skip, atribuição, await, send e receive;
• when c do S, if c then S₁ else S₂, [S₁ or $\ldots$ or S_k] e [S₁;$\ldots$;S_k].

A ocorrência de instruções de comunicação dentro de uma instrução agrupada também está limitada:

• Só pode aparecer no máximo uma instrução de comunicação síncrona;
• Não podem aparecer duas instruções de comunicação assíncrona que refiram o mesmo canal.