TY  - RPRT
TI  - A Type System for Unstructured Locking that Guarantees Deadlock Freedom without Imposing a Lock Ordering
AU  - Prodromos Gerakios
AU  - Nikolaos Papaspyrou
AU  - Konstantinos Sagonas
PY  - 2011
DO  - 10.4204/eptcs.69.4
UR  - https://arxiv.org/abs/1110.4160
ID  - 1110.4160
ER  -