A generic type system for the Pi-calculus.

Atsushi Igarashi Naoki Kobayashi

Published in: Theor. Comput. Sci. (2004)

Keyphrases

neural network
genetic algorithm
learning algorithm
artificial neural networks
type checking
real time
information retrieval
information systems
image processing
clustering algorithm
high level
data structure
fuzzy sets