(1)
Brandenburg, B. B. Blocking Optimality in Distributed Real-Time Locking Protocols. LITES 2014, 1, 01:1-01:22.