A complexity analysis of bisimilarity for value-passing processes.

Michele Boreale Luca Trevisan

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

Keyphrases

complexity analysis
theoretical analysis
lower bound
special case
databases
neural network
computational complexity
website
multiscale
search algorithm
business processes