An Efficient Mutual Exclusion Algorithm for Redundant Resources in Distributed Operating Systems | IEEE Conference Publication | IEEE Xplore