Undecidable equivalences for basic parallel processes.

Hans Hüttel Naoki Kobayashi Takashi Suto

Published in: Inf. Comput. (2009)

Keyphrases

website
artificial intelligence
parallel processing
parallel implementation
real time
machine learning
software engineering
general purpose
np complete
relational algebra
parallel programming