Deadlock detection in communicating finite state machines.
Eitan M. GurariTen-Hwang LaiPublished in: SIGACT News (1984)
Keyphrases
- finite state machines
- deadlock detection
- distributed database systems
- distributed systems
- manufacturing systems
- model checking
- communication protocol
- distributed databases
- computer networks
- finite state automata
- inter organizational workflow
- regular expressions
- concurrency control
- database applications
- data warehouse
- database systems
- distributed environment
- complex systems
- hidden markov models