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.
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
2015
2015
Can Ricart : biblioteca, escola bressol
Biblioteca i Escola Bressol al recinte fabril de Can Ricart (Poblenou). El projecte resol aquests dos programes amb un sistema… Expand
2014
2014
Negotiating Climates: The Politics of Climate Change and the Formation of the Intergovernmental Panel on Climate Change (IPCC), 1979-1992
Climate change emerged as a topic of public and political concern in the 1980s alongside the discovery of the ?Antarctic Ozone… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
2008
2008
Parameterized Systems : Generalizing and Simplifying Automatic Verification
In this thesis we propose general and simple methods for automatic verification of parameterized systems. These are systems… Expand
  • figure 6.1
  • figure 6.2
  • figure 6.3
  • figure 6.4
  • figure 6.5
2008
2008
Monotonic Abstraction in Action
We consider verification of safety properties for parameterized distributed protocols.Such a protocol consists of an arbitrary… Expand
  • table 1
  • table 2
  • table 3
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
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
2004
2004
Warning of warming
How data and modelling led to predictions of climate change. 
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
Highly Cited
1999
Highly Cited
1999
Distributed wireless channel allocation in networks with mobile base stations
A mobile computing system with no fixed nodes is presented. In traditional cellular systems with fixed base stations the channel… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 5
  • figure 4
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