Static Lock Capabilities for Deadlock Freedom

@techreport{uw-cse-11-10-01,
  author = {Colin S. Gordon and Michael D. Ernst and Dan Grossman},
  title = {{Static Lock Capabilities for Deadlock Freedom}},
  year = 2011,
  number = "UW-CSE-11-10-01",
  institution={{Computer Science and Engineering, University of Washington}},
  address = {{Seattle, WA, USA}},
  url = {ftp://ftp.cs.washington.edu/tr/2011/10/UW-CSE-11-10-01.PDF},
  url2={http://dada.cs.washington.edu/research/tr/2011/10/UW-CSE-11-10-01.PDF}
}