Effective static deadlock detection.

Mayur Naik Chang-Seo Park Koushik Sen David Gay

Published in: ICSE (2009)

Keyphrases

deadlock detection
distributed database systems
database
metadata
database systems
object oriented
data processing
computer systems
distributed environment