Parallel program debugging by specification.

Simon Huband Chris McDonald

Published in: Concurr. Pract. Exp. (2004)

Keyphrases

parallel processing
parallel implementation
real time
high level
parallel computing
depth first search
image processing
website
multi agent
data structure
expert systems
programming language
specification language
distributed memory