Mechanizable Proofs about Parallel Processes

J. M. Cadiou Jean-Jacques Lévy

Published in: SWAT (1973)

Keyphrases

parallel implementation
theorem proving
parallel processing
process model
neural network
real time
formal proof
shared memory
probability distribution
formal proofs
stochastic processes
scheduling problem
artificial neural networks
data structure
multi agent
image sequences
case study
search engine