An Axiomatic Proof Technique for Parallel Programs I.

Susan S. Owicki David Gries

Published in: Acta Informatica (1976)

Keyphrases

imperative programs
parallel processing
parallel hardware
neural network
search engine
website
case study
parallel computation
computer architecture
massively parallel
theorem prover
sorting algorithms
parallel implementation
shared memory
real time
artificial intelligence
databases
data sets