Resumo

Paralelismo $\neq$ Programação Paralela
A correção de um programa paralelo assíncrono não deve depender das velocidades relativas dos processos
A expressão do paralelismo é relativamente simples
Conflitos abrem a possibilidade de programas sintaticamente corretos não possuirem semântica definida
Programas com semântica definica podem ter um conjunto de computações complexo e surpreendente