Synthesis of Communicating Finite-State Machines with Guaranteed Progress.

Mohamed G. Gouda Yao-Tin Yu

Published in: IEEE Trans. Commun. (1984)

Keyphrases

hidden markov models
finite state machines
finite state automata
functional decomposition
state transition
digital circuits
databases
neural network
knowledge base
program synthesis