Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 234,670,164 papers from all fields of science
Search
Sign In
Create Free Account
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
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
4 relations
Lamport's bakery algorithm
Logical clock
Mutual exclusion
Suzuki-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
Maria del Mar Cordon Holzknecht
,
À. Castelló
,
L. Acosta
,
Orsolya Mezosi
,
Sergi Ricart Farre
2017
Corpus ID: 78420434
Poster: "ECR 2017 / C-0220 / Acute scrotum on US: a useful and practical guide for residents on call" by: "M. D. M. Cordon…
Expand
2015
2015
Can Ricart : biblioteca, escola bressol
J. Palacio
2015
Corpus ID: 191088160
Biblioteca i Escola Bressol al recinte fabril de Can Ricart (Poblenou). El projecte resol aquests dos programes amb un sistema…
Expand
2010
2010
Acte d'Homenatge a Josep Gudiol i Ricart: Francesc Arraiza
Francesc Arraiza
2010
Corpus ID: 191422050
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
Guillem Cañameras
2010
Corpus ID: 191438303
Elocucio pronunciada dins de l'acte d'homenatge a Josep Gudiol i Ricart organitzat per el Institut Amatller d'Art Hispanic el 25…
Expand
2010
2010
Acte d'Homenatge a Josep Gudiol i Ricart: Antoni Jose Pitarch
Antoni José i Pitarch
2010
Corpus ID: 190744002
2010
2010
Acte d'Homenatge a Josep Gudiol i Ricart: Mia Alsina
M. Alsina
2010
Corpus ID: 191111777
2007
2007
Propriétés de vivacité dans les systèmes B. Application à l'algorithme de Ricart-Agrawala
Didier Bert
,
H. Barradas
Techniques et sciences informatiques
2007
Corpus ID: 32145207
In this paper, we present an approach to specification, proof and refinement of modalities, in the framework of event-B without…
Expand
2007
2007
Title: The increased body iron stores of obese women with polycystic ovary syndrome are a consequence of insulin resistance an
F. Álvarez-blasco
,
-. JoséI.Botella
,
Carretero
,
Raúl Sanchón
,
J. L. Millán
2007
Corpus ID: 51817170
Objective: Increased serum ferritin levels, indicating increased body iron stores, have been found in overweight and obese PCOS…
Expand
2005
2005
In memoriam Rosa Ricart i Ribera
G. Lloret
2005
Corpus ID: 190557149
Anotacions biografiques de Rosa Ricart, que va morir en 2005, havia estat bibliotecaria del British Council a Barcelona i primera…
Expand
1996
1996
Preprocessing for Invariant Validation 1 Topics : Formal Veriication of Concurrent Systems, Theorem Proving Systems
E. Gribomont
1996
Corpus ID: 14402450
Hoare's logic and Dijkstra's predicate transformer calculus have proved adequate for reducing the correctness problem for…
Expand