An Exercise in Proving Parallel Programs Correct.

Published in: Commun. ACM (1977)

Keyphrases

high level programming language
website
shared memory
sorting algorithms
expert systems
parallel processing
parallel implementation
information retrieval
artificial intelligence
programming language
parallel computing
computer architecture
multicore processors
distributed memory machines