Sign in

Static deadlock detection for asynchronous C# programs.

Anirudh SanthiarAditya Kanade
Published in: PLDI (2017)
Keyphrases
  • deadlock detection
  • distributed database systems
  • distributed systems
  • manufacturing systems
  • communication protocol
  • computer networks
  • distributed databases
  • decision support
  • range queries