...

Existem diferentes tipos de Guiões de Interacção correspondentes a diferentes fases do diálogo.

...

No caso do exemplo a expressão não faz uso dos operadores, pois trata-se do caso mais simples da leitura de uma variável.

...

Por exemplo, no caso das Funções Finitas, não podem existir repetições no domínio.

...

Leitura em paralelo de todos os valores do Tuplo.

...

Ou melhor, utilizando as primitivas de comunicação NYAGSL que estão desenvolvidas sobre channels UNIX.