Towards a Symbolic Bisimulation for the Spi Calculus.

Yinhua Lü Xiaorong Chen Luming Fang Hangjun Wang

Published in: MSN (2005)

Keyphrases

symbolic data
symbolic representation
automated deduction
decision trees
formal language
neural learning
computer algebra
neural network
machine learning
knowledge base
case study
expert systems
binary decision diagrams
connectionist systems