Complexity of Checking Bisimilarity between Sequential and Parallel Processes.

Wojciech Czerwinski Petr Jancar Martin Kot Zdenek Sawa

Published in: MFCS (2013)

Keyphrases

computational complexity
parallel implementation
computational cost
parallel version
parallel processing
decision problems
search algorithm
data structure
neural network
software engineering
e learning
memory requirements
search engine
shared memory
learning algorithm
parallel computing
machine learning