Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 205,667,517 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
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.
2015
2015
The Ignite Distributed Collaborative Visualization System
Sushil Bhojwani
,
Matt Hemmings
,
+8 authors
U. Stege
PERV
2015
Corpus ID: 38193318
Sushil Bhojwani Matt Hemmings Dan Ingalls Jens Lincke University of Victoria University of Victoria CDG, SAP Hasso Plattner…
Expand
2014
2014
Negotiating Climates: The Politics of Climate Change and the Formation of the Intergovernmental Panel on Climate Change (IPCC), 1979-1992
D. Hirst
2014
Corpus ID: 153214483
Climate change emerged as a topic of public and political concern in the 1980s alongside the discovery of the ?Antarctic Ozone…
Expand
2010
2010
Acte d'Homenatge a Josep Gudiol i Ricart: Montserrat Blanch
M. Blanch
2010
Corpus ID: 191131697
2008
2008
Parameterized Systems : Generalizing and Simplifying Automatic Verification
Ahmed Rezine
2008
Corpus ID: 11618405
In this thesis we propose general and simple methods for automatic verification of parameterized systems. These are systems…
Expand
2008
2008
Monotonic Abstraction in Action
P. Abdulla
,
G. Delzanno
,
Ahmed Rezine
ICTAC
2008
Corpus ID: 17955153
We consider verification of safety properties for parameterized distributed protocols.Such a protocol consists of an arbitrary…
Expand
2007
2007
Propriétés de vivacité dans les systèmes B. Application à l'algorithme de Ricart-Agrawala
Didier Bert
,
H. Barradas
Tech. Sci. 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
Innovación tecnológica y organizativa: análisis de datos
Núria Mancebo Fernández
,
Andrea Bikfalvi
,
J. V. Pasola
2005
Corpus ID: 173069433
1 Area de Organizacion de Empresas. Departamento Organizacion, Gestion Empresarial y Diseno de Producto. Escuela Politecnica…
Expand
2004
2004
Warning of warming
S. Schneider
Nature
2004
Corpus ID: 4324940
How data and modelling led to predictions of climate change.
2000
2000
Formal Verification of the Ricart-Agrawala Algorithm
Ekaterina Sedletsky
,
A. Pnueli
,
M. Ben-Ari
FSTTCS
2000
Corpus ID: 2934966
This paper presents the first formal verification of the Ricart-Agrawala algorithm RA81. for distributed mutual exclusion of an…
Expand
Highly Cited
1999
Highly Cited
1999
Distributed wireless channel allocation in networks with mobile base stations
S. Nesargi
,
R. Prakash
IEEE INFOCOM '99. Conference on Computer…
1999
Corpus ID: 8093707
A mobile computing system with no fixed nodes is presented. In traditional cellular systems with fixed base stations the channel…
Expand
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