Deadlock Detection of EFSMs Using Simultaneous Reachability Analysis.
Bengi KaraçaliKuo-Chung TaiMladen A. VoukPublished in: DSN (2000)
Keyphrases
- reachability analysis
- deadlock detection
- distributed database systems
- distributed systems
- model checking
- markov decision processes
- manufacturing systems
- communication protocol
- timed automata
- computer networks
- state space
- incremental algorithms
- distributed databases
- database systems
- machine learning
- reinforcement learning
- inter organizational workflow
- concurrency control
- end to end
- fine grained
- management system
- dynamic programming
- computational complexity