An Efficient Mutual Exclusion Algorithm for Redundant Resources in Distributed Operating Systems. - Marco Antonio Dantas Ramos; Raimundo José de Araújo Macêdo; Anne Blagojevic (SBESC, 2012)