Login / Signup

Automated, compositional and iterative deadlock detection.

Sagar ChakiEdmund M. ClarkeJoël OuaknineNatasha Sharygina
Published in: MEMOCODE (2004)
Keyphrases
  • deadlock detection
  • distributed database systems
  • distributed systems
  • communication protocol
  • database
  • manufacturing systems
  • information systems
  • computer networks
  • lower bound
  • supply chain
  • distributed databases