Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Ricart–Agrawala algorithm

Known as: Ricart-Agrawala Algorithm 
The Ricart-Agrawala Algorithm is an algorithm for mutual exclusion on a distributed system. This algorithm is an extension and optimization of… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
Poster: "ECR 2017 / C-0220 / Acute scrotum on US: a useful and practical guide for residents on call" by: "M. D. M. Cordon… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2015
2015
Sushil Bhojwani Matt Hemmings Dan Ingalls Jens Lincke University of Victoria University of Victoria CDG, SAP Hasso Plattner… Expand
  • figure 1
  • table 1
Is this relevant?
2010
2010
Elocucio pronunciada dins de l'acte d'homenatge a Josep Gudiol i Ricart organitzat per el Institut Amatller d'Art Hispanic el 25… Expand
Is this relevant?
2008
2008
We consider verification of safety properties for parameterized distributed protocols.Such a protocol consists of an arbitrary… Expand
Is this relevant?
2007
2007
In this paper, we present an approach to specification, proof and refinement of modalities, in the framework of event-B without… Expand
Is this relevant?
2006
2006
Vector clocks (VC) are an inherent component of a rich class of distributed applications. In this paper, we first consider the… Expand
Is this relevant?
2004
2004
We propose an architecture that consists of a ring of clusters for distributed mutual exclusion algorithms. Each node on the ring… Expand
  • table 1
  • table 2
  • table 3
  • figure 1
  • figure 2
Is this relevant?
2000
2000
This paper presents the first formal verification of the Ricart-Agrawala algorithm RA81. for distributed mutual exclusion of an… Expand
  • figure 2
  • figure 3
Is this relevant?
1991
1991
The goal of decentralized consensus protocols is to exchange information among computers so that each computer acquires… Expand
Is this relevant?