Sign in

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

Yongjian LiXinxin 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