Parallel Programmming in Maude.

José Meseguer Timothy C. Winkler

Published in: Research Directions in High-Level Parallel Programming Languages (1991)

Keyphrases

multiscale
equational theories
parallel processing
formal specification
parallel computing
parallel computation
pc cluster
information retrieval
feature selection
image processing
database systems
digital libraries
parallel implementation
massively parallel