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