Communicating Finite State Machines with Priority Channnels.

Mohamed G. Gouda Louis E. Rosier

Published in: ICALP (1984)

Keyphrases

finite state machines
finite state automata
model checking
digital circuits
regular expressions
hidden markov models
higher priority
video sequences
domain experts
data exchange
priority queue
preemptive scheduling