-

-

-

-

A seguir: Modelos Formais para Programas Acima: DCC 837 Programação Paralela Anterior: Exercícios

Formulação e Prova de Propriedades de Programas Paralelos

Modelos Formais para Programas Paralelos

Osvaldo Carvalho

-

-