A Unified Approach to the Deadlock Detection Problem in Networks of Communicating Finite State Machines.
Wuxu PengS. PurushothamanPublished in: CAV (1990)
Keyphrases
- finite state machines
- deadlock detection
- distributed database systems
- finite state automata
- computer networks
- distributed systems
- model checking
- network structure
- regular expressions
- communication protocol
- manufacturing systems
- hidden markov models
- wireless networks
- database applications
- database management systems
- data processing
- mobile phone