Comandos Alternativos e Repetitivos: Características

um comando alternativo especifica a execução de exatamente uma de suas cláusulas;
se todas as cláusulas falham, o comando alternativo falha;
a escolha de uma cláusula dentre as habilitadas é não-determinística .

um comando repetitivo especifica a execução repetida do comando alternativo correspondente até que este falhe;
quando todas as guardas falham, o comando repetitivo não tem efeito.
um comando alternativo em que todas as guardas incluem um comando de entrada será atrasado até que

1.
um comando de saída que se case com uma das guardas de entrada seja executado, ou
2.
todas as fontes tenham terminado.