Finiteness Conditions and Structural Construction of Automata for All Process Algebras.

Eric Madelaine Didier Vergamini

Published in: CAV (1990)

Keyphrases

construction process
case study
artificial intelligence
neural network
real world
information systems
cellular automata
finite automata