On Reachability Analysis of Communicating Finite State Machines.

Wuxu Peng Kia Makki

Published in: ICCCN (1995)

Keyphrases

finite state machines
reachability analysis
model checking
temporal logic
timed automata
finite state automata
markov decision processes
state transition
incremental algorithms
state space
expert systems
contextual information
regular expressions