A Note on the Complexity of Deciding Bisimilarity of Normed Unary Processes.

Dung T. Huynh Lu Tian

Published in: Theor. Comput. Sci. (1994)

Keyphrases

pairwise
worst case
special case
computational complexity
complexity analysis
computational models
process model
decision making
genetic algorithm
real world
clustering algorithm
computer vision
np complete
vector space
memory requirements
graph matching
space complexity
database