A fast mutual exclusion algorithm (1987)

by L Lamport
Venue:ACM Transactions on Computer Systems