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

Related topics

Related topics

4 relations
Lamport's bakery algorithmLogical clockMutual exclusionSuzuki-Kasami algorithm

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
Acute scrotum on US: a useful and practical guide for residents on call
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
The Ignite Distributed Collaborative Visualization System
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
Acte d'Homenatge a Josep Gudiol i Ricart: Antoni Jose Pitarch
 
Is this relevant?
2010
2010
Elocució realitzada per un estudiant de la Universitat de Barcelona: Acte d'homenatge a l'historiador de l'art Josep Gudiol i Ricart
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
Monotonic Abstraction in Action
We consider verification of safety properties for parameterized distributed protocols.Such a protocol consists of an arbitrary… Expand
Is this relevant?
2007
2007
Propriétés de vivacité dans les systèmes B. Application à l'algorithme de Ricart-Agrawala
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
Resettable vector clocks
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
Distributed Mutual Exclusion Algorithms on a Ring of Clusters
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
Formal Verification of the Ricart-Agrawala Algorithm
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
Decentralized consensus protocols
The goal of decentralized consensus protocols is to exchange information among computers so that each computer acquires… Expand
Is this relevant?
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy, Terms of Service, and Dataset License
ACCEPT & CONTINUE