Deadlock Detection in Communicating Finite State Machines by Even Reachability Analysis.
Wuxu PengPublished in: ICCCN (1995)
Keyphrases
- finite state machines
- reachability analysis
- deadlock detection
- model checking
- distributed database systems
- distributed systems
- communication protocol
- manufacturing systems
- timed automata
- computer networks
- finite state automata
- markov decision processes
- distributed databases
- inter organizational workflow
- database management systems
- distributed environment
- pattern matching
- complexity analysis
- regular expressions
- sufficient conditions
- management system
- hidden markov models
- computational complexity
- optimal solution
- knowledge base
- database