An asynchronous message-passing distributed algorithm for the generalized local critical section problem

From MaRDI portal