Characterize branching distance in terms of (eta, alpha)-bisimilarity.

Jinjin Zhang Zhaohui Zhu

Published in: Inf. Comput. (2008)

Keyphrases

neural network
co occurrence
distance function
databases
artificial intelligence
digital libraries
evolutionary algorithm
branch and bound
dissimilarity measure
hamming distance
distance measurement