UFMG - Pós-graduação em Ciência da
Computação -
Programação Paralela
A seguir: O Buffer Compartilhado
Acima: Aula 11 - Modelos
Anterior: Propriedades de invariância e
- Argumentação por asserções: mais do que um sistema
formal de prova
- Linguagem conveniente para descrição sem ambiguidades de
propriedades de sistemas concorrentes
- Objetivos do tópico:
- propiciar familiaridade com a
técnica de argumentação por asserções que possa
ser aplicada a sistemas concorrentes e distribuídos
- consolidar a compreensão de programas paralelos, aumentando o nível
de complexidade das soluções estudadas
Osvaldo Carvalho