Non-interleaving bisimulation equivalences on Basic Parallel Processes.

Sibylle B. Fröschle Petr Jancar Slawomir Lasota Zdenek Sawa

Published in: Inf. Comput. (2010)

Keyphrases

relational algebra
stochastic processes
process model
parallel computation
database
data mining
artificial neural networks
probabilistic model
general purpose
connected components
parallel processing
shared memory