PEI: A language and its refinement calculus for parallel programming.

Eric Violard Guy-René Perrin

Published in: Parallel Comput. (1992)

Keyphrases

parallel programming
programming environment
parallel algorithm
parallel computing
parallel processing
programming language
multi core processors
shared memory
cloud computing
massively parallel
parallel computation
processing units
information systems
design patterns