A Trace-Based Refinement Calculus for Shared-Variable Parallel Programs.

Published in: AMAST (1998)

Keyphrases

parallel processing
provably correct
parallel implementation
high level programming language
parallel programming
general purpose
parallel computing
query refinement
sorting algorithms
multicore processors
distributed shared memory