Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

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
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… 
2010
2010
Acte d'Homenatge a Josep Gudiol i Ricart: Antoni Jose Pitarch
2010
2010
Acte d'Homenatge a Josep Gudiol i Ricart: Mia Alsina
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… 
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… 
2007
2007
Title: The increased body iron stores of obese women with polycystic ovary syndrome are a consequence of insulin resistance an
Objective: Increased serum ferritin levels, indicating increased body iron stores, have been found in overweight and obese PCOS… 
2005
2005
Innovación tecnológica y organizativa: análisis de datos
1 Area de Organizacion de Empresas. Departamento Organizacion, Gestion Empresarial y Diseno de Producto. Escuela Politecnica… 
2003
2003
Pre-Scheduling: Integrating Offline and Online Scheduling Techniques
The issue of integrating event-driven workload into existing static schedules has been addressed by Fohler’s Slot Shifting method… 
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… 
1996
1996
Preprocessing for Invariant Validation 1 Topics : Formal Veriication of Concurrent Systems, Theorem Proving Systems
Hoare's logic and Dijkstra's predicate transformer calculus have proved adequate for reducing the correctness problem for… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)