Daniel Barbará Hector Garcia-Molina Mutual Exclusion in Partitioned Distributed Systems. 119-132 1986 1 Distributed Computing 2 db/journals/dc/dc1.html#BarbaraG86