A formal system for parallel programs in discrete time and space.

Published in: Logic of Programs (1980)

Keyphrases

low dimensional
parallel processing
parallel implementation
data sets
neural network
e learning
knowledge base
high level
dynamic programming
markov chain
logic programming
parallel computing
computer programs
high level programming language