Semantic Scholar uses AI to extract papers important to this topic.
Distributed fault-tolerant control algorithms are in great demand nowadays due to their practical importance in cloud computing… (More)
We propose a distributed mutual exclusion algorithm for mobile ad hoc networks. This algorithm requires a ring of cluster… (More)
We provide the implementation results of the distributed mutual exclusion algorithm based on Ricart-Agrawala algorithm for mobile… (More)
This paper presents the first formal verification of the RicartAgrawala algorithm [RA81] for distributed mutual exclusion of an… (More)
 The paper "An Optimal Algorithm for Mutual Exclusion in Computer Networks" by Ricart and Agrawala in the January 1981… (More)