Login / Signup

Static deadlock detection for concurrent go by global session graph synthesis.

Nicholas NgNobuko Yoshida
Published in: CC (2016)
Keyphrases
  • deadlock detection
  • distributed database systems
  • distributed systems
  • manufacturing systems
  • communication protocol
  • dynamic graph
  • multi dimensional