Motivação

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