Proving Total Correctness of Parallel Programs.

Published in: IEEE Trans. Software Eng. (1979)

Keyphrases

provably correct
parallel processing
computer architecture
parallel computation
shared memory
parallel implementation
parallel computing
search algorithm
parallel algorithm
computer programs
programming environment
parallel programming
intermediate level
automatic programming