Deadlock detection in linear recursive programs.
Elena GiachinoCosimo LanevePublished in: CoRR (2013)
Keyphrases
- deadlock detection
- recursive programs
- distributed database systems
- logic programs
- distributed systems
- program synthesis
- transformation rules
- communication protocol
- data management
- data driven
- computer networks
- concurrency control
- manufacturing systems
- inter organizational workflow
- query processing
- distributed databases
- query evaluation
- first order logic
- software engineering