A seguir: Modelos Formais - Continuação Acima: Programação Paralela Anterior: Conclusões
(postscript)