On Communicating Finite-State Machines

Daniel Brand Pitro Zafiropulo

Published in: J. ACM (1983)

Keyphrases

finite state machines
model checking
finite state automata
state transition
digital circuits
hidden markov models
communication channels
data sets
data management
databases
pattern matching
regular expressions