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

Eric Madelaine Didier Vergamini

Published in: CAV (DIMACS/AMS volume) (1990)

Keyphrases

sufficient conditions
construction process
real world
database systems
process model
neural network
relational databases
finite state machines
finite automata