A survey of verification techniques for parallel programs - Barringer, Howard (Berlín : [S.n.], 1985)
Proof methods for shared variable parallelism -- Proof methods for message-based parallelism.
Keywords: VERIFICACIÓN DE PROGRAMAS; PROGRAMACIÓN PARALELA; REUNIONES