A Formal System for Parallel Programs in Discrete Time and Space.

Published in: Inf. Process. Lett. (1980)

Keyphrases

space time
search space
low dimensional
neural network
information systems
markov chain
vector space
database
databases
image sequences
feature space
expert systems
parallel processing
shared memory
parallel computing
massively parallel