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
- communication protocol
- model checking
- finite state automata
- distributed databases
- computer networks
- concurrency control
- hidden markov models
- regular expressions
- inter organizational workflow
- distributed environment
- business process
- database management systems
- database systems