On the Decidability of Livelock Detection in Networks of Communicating Finite State Machines.
Mohamed G. GoudaChing-Hua ChowSimon S. LamPublished in: PSTV (1984)
Keyphrases
- finite state machines
- finite state automata
- model checking
- false positives
- detection method
- automatic detection
- false alarms
- detection algorithm
- databases
- anomaly detection
- network structure
- complex networks
- detection rate
- information extraction
- object oriented
- hidden markov models
- detection accuracy
- social networks
- neural network