Deadlock Detection in Communicating Finite State Machines by Even Reachability Analysis.
Wuxu PengPublished in: Mob. Networks Appl. (1997)
Keyphrases
- reachability analysis
- finite state machines
- deadlock detection
- model checking
- distributed database systems
- distributed systems
- manufacturing systems
- timed automata
- communication protocol
- computer networks
- finite state automata
- markov decision processes
- database management systems
- concurrency control
- machine learning
- complexity analysis
- distributed databases
- petri net
- incremental algorithms
- hidden markov models
- database systems
- learning algorithm