Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 237,921,231 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: Montserrat Blanch
M. Blanch
2010
Corpus ID: 191131697
2010
2010
Acte d'Homenatge a Josep Gudiol i Ricart: Francesc Arraiza
Francesc Arraiza
2010
Corpus ID: 191422050
2010
2010
Acte d'Homenatge a Josep Gudiol i Ricart: Carme Farré
Carmen Farré
2010
Corpus ID: 190981192
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
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
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
1985
1985
Josep Mª Gudiol i Ricart, tractadista d'art
Francesc Fontbona
1985
Corpus ID: 179136023