Specifying Properties for Modular Pi-Calculus.

Takashi Kitamura Huimin Lin

Published in: TASE (2008)

Keyphrases

database
real time
search engine
desirable properties
data sets
data mining
learning algorithm
three dimensional
data structure
evolutionary algorithm
formal language
algebraic structure