Distributed mutual exclusion algorithms (IEEE Computer Society Press, 1992)