Consistency requirements of distributed shared memory for Lamport's bakery algorithm for mutual exclusion | IEEE Conference Publication | IEEE Xplore