Parallel Programs: Proofs, Principles, and Practice.

Gregory R. Andrews

Published in: Commun. ACM (1981)

Keyphrases

computer programs
parallel processing
parallel implementation
real world
general purpose
theoretical framework
theorem prover
theorem proving
computer architecture
parallel computation
high level programming language
database
high level
sorting algorithms