Approximating Weak Bisimilarity of Basic Parallel Processes

Piotr Hofman Patrick Totzke

Published in: EXPRESS/SOS (2012)

Keyphrases

artificial intelligence
computer vision
database systems
support systems
distributed memory
distributed memory machines
neural network
decision trees
probabilistic model
computer systems
computational models
shared memory
parallel implementation
workflow management systems
parallel computation
parallel hardware