Undecidable Equivalences for Basic Parallel Processes.

Published in: TACS (1994)

Keyphrases

sufficient conditions
connected components
neural network
parallel processing
massively parallel
real world
artificial intelligence
process model
expressive power
relational algebra
parallel implementation
parallel computing
parallel computation
distributed memory
parallel hardware