Resumo

• Paralelismo 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