Towards a Theory of Bisimulation for the Higher-Order Process Calculi.

Yongjian Li Xinxin Liu

Published in: J. Comput. Sci. Technol. (2004)

Keyphrases

higher order
natural images
real time
databases
computer vision
database systems
probabilistic model
fuzzy logic
design process
theoretical framework