Hi Sanne,
Looking at you're ideas around "Replicated Keys & Values, non-replicated Locks" [1]: acquiring a single lock, disregarding of numOwners, is covered in 2(non transactional) and 4(transactional): both suggest an approach for acquiring lock on a single node to avoid deadlocks. 4 also suggest an approach to fail-over the lock to the new owner.
Can you please take a look and let me know if there are aspects of 5 that are not covered by 2&4?
Cheers,
Mircea
_______________________________________________