UFMG - Pós-graduação em Ciência da
Computação -
Programação Paralela
A seguir: Técnicas de Prova de
Acima: Aula 12 - Modelos
Anterior: Exemplo: Inteiro Oscilante
- inclusão obrigatória de
em todo sistema
- toda computação é infinita
- hipóteses de equidade fraca ou forte excluem as computações
infinitas que não as obedecem.
Osvaldo Carvalho