Login / Signup

A Complete Symbolic Bisimilarity for an Extended Spi Calculus.

Johannes Borgström
Published in: Electron. Notes Theor. Comput. Sci. (2009)
Keyphrases
  • artificial intelligence
  • real time
  • machine learning
  • feature selection
  • web services
  • mobile robot
  • provably correct