Coalgebraic minimization of HD-automata for the Pi-calculus using polymorphic types.

Gian Luigi Ferrari Ugo Montanari Emilio Tuosto

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

Keyphrases

objective function
cellular automata
neural network
image processing
control system
finite automata
timed automata