Static deadlock detection for asynchronous C# programs.

Anirudh Santhiar Aditya 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