A Basic Parallel Process as a Parallel Pushdown Automaton.

Jos C. M. Baeten Pieter J. L. Cuijpers P. J. A. van Tilburg

Published in: EXPRESS (2008)

Keyphrases

parallel processing
data sets
neural network
model checking
distributed memory
real time
computer vision
image segmentation
expert systems
evolutionary algorithm
hidden markov models
process model
development process
parallel implementation
parallel computation