- - - - CENAPAD-MGCO

A seguir: Técnicas de Prova de Acima: Modelos Formais: Progresso Anterior: Exemplo: Inteiro Oscilante

Sistemas de Transições de Estados: alterações para prova de propriedades de progresso

• inclusão obrigatória de $\gamma_{skip}$ em todo sistema
• toda computação é infinita
• hipóteses de equidade fraca ou forte excluem as computações infinitas que não as obedecem.