@Inproceedings{EPTCS69.4,
  author    = {Gerakios, Prodromos and Papaspyrou, Nikolaos and Sagonas, Konstantinos},
  year      = {2011},
  title     = {A Type System for Unstructured Locking that Guarantees Deadlock Freedom without Imposing a Lock Ordering},
  editor    = {Honda, Kohei and Mycroft, Alan},
  booktitle = {{\rm Proceedings Third Workshop on}
               Programming Language Approaches to Concurrency and communication-cEntric Software,
               {\rm Paphos, Cyprus, 21st March 2010}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {69},
  publisher = {Open Publishing Association},
  pages     = {44-58},
  doi       = {10.4204/EPTCS.69.4},
}