A specification language for parallel architectures and algorithms.

Published in: IWSSD (1989)

Keyphrases

parallel architectures
specification language
orders of magnitude
parallel processing
shared memory
massively parallel
programming language
open source
dynamic programming
efficient implementation
formal specification
parallel computing