palavras-chave Espaços Coerentes Máquina Geométrica Paralelismo e Não-determinismo Semântica das Computação Científica Semântica de Processos Concorrentes teoria dos domínios