Modelos Formais para Programas Paralelos

Fontes: [Keller, 1976],[Shankar, 1993]
Enfoques para a análise e especificação:
- asserções baseadas em lógica temporal
- cálculos de Milner (CCS, CSP)
Enfoque adotado: lógica temporal
Precursores:
- Floyd [Floyd, 1967]: asserções sobre programas sequenciais
- Hoare [Hoare, 1969]: formalização como uma lógica
- Dijkstra [Dijkstra, 1975]: comandos guardados
- Pnueli[Pnueli, 1979], Manna e Pnueli[Manna and Pnueli, 1981]: lógica temporal
- Owick e Gries[Owick and Gries, 1976]: não interferência