Deadlock Detection for Concurrent Programs Using Resource Footprints.
Sonam SherpaAbdi VicenciodelmoralXinghui ZhaoPublished in: UCC Companion (2019)
Keyphrases
- deadlock detection
- concurrent programs
- distributed database systems
- distributed systems
- manufacturing systems
- communication protocol
- concurrent programming
- process algebra
- web applications
- concurrent processes
- inter organizational workflow
- databases
- computer networks
- distributed databases
- model checking
- data structure
- information systems
- concurrent systems
- data warehouse
- database systems