Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,226,766 papers from all fields of science
Search
Sign In
Create Free Account
Suzuki-Kasami algorithm
Known as:
Suzuki kasami
The Suzuki-Kasami algorithm is a token-based algorithm for achieving mutual exclusion in distributed systems. The process holding the token is the…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
8 relations
Access token
Algorithm
Critical section
Hypertext Transfer Protocol
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
Model Checking of the Suzuki-Kasami Distributed Mutual Exclusion Algorithm with SPIN
S. Sakamoto
,
K. Ogata
International Conferences on Dependable Systems…
2018
Corpus ID: 54450542
We report on a case study in which we have model checked some properties for the Suzuki-Kasami distributed mutual exclusion…
Expand
Review
2016
Review
2016
Pengembangan Model PembelajaranPraktik Berbasis Industri.
B. Sudarsono
2016
Corpus ID: 194441936
Tujuan penelitian ini adalah untuk: (1) menghasilkan model pembelajaran praktik yang dapat diterapkan oleh dosen pendidikan…
Expand
2015
2015
Nickel catalyzed borylation and cross-coupling of representative C-O based electrophiles
Na Zhang
2015
Corpus ID: 94137394
The Suzuki-Miyaura cross-coupling is widely used in the synthesis of pharmaceuticals, agrochemicals, and organic light-emitting…
Expand
Review
2015
Review
2015
Tailor-Made helicity in polyaromatic systems
Michel Rickhaus
2015
Corpus ID: 114248112
This thesis was, and still is, the translation of a conceptual idea that took root years before its realization. As with many…
Expand
2013
2013
Effectiveness of Antilock-Brakes (ABS) on Motorcycles in Reducing Crashes: A Multi-National Study
M. Rizzi
,
J. Strandroth
,
A. Kullgren
,
C. Tingvall
,
B. Fildes
2013
Corpus ID: 51800812
This study set out to evaluate the effectiveness of Antilock-Brakes (ABS) on motorcycles in reducing real-life crashes. Since the…
Expand
2011
2011
Suzuki-Miyaura mediated biphenyl synthesis : a spotlight on the boronate coupling partner
C. Baltus
2011
Corpus ID: 92536791
The biaryl motif is found in many natural and synthetic products that display a wide range of biological activities. This…
Expand
2008
2008
Ferrocence-based phosphine–triazine ligands for highly efficient Suzuki–Miyaura cross-coupling reaction of aryl chlorides
Sai-Bo Yu
,
Xiang-Ping Hu
,
+4 authors
Zhuo Zheng
2008
Corpus ID: 99327875
2007
2007
Comparison of Maude and SAL by Conducting Case Studies Model Checking a Distributed Algorithm
K. Ogata
,
K. Futatsugi
IEICE Transactions on Fundamentals of Electronics…
2007
Corpus ID: 3692584
SAL is a toolkit for analyzing transition systems, providing several different tools. Among the tools are a BDD-based symbolic…
Expand
2005
2005
Analysis of the Suzuki-Kasami algorithm with SAL model checkers
K. Ogata
,
K. Futatsugi
International Conference on Computer and…
2005
Corpus ID: 3665166
We report on a case study in which SAL model checkers have been used to analyze the Suzuki-Kasami distributed mutual exclusion…
Expand
1979
1979
Suzuki Shosan, Wayfarer
W. King
1979
Corpus ID: 171232859
Biographie de Suzuki Shosan (1579-1655) d'abord samurai et combattant pour les Tokugawa, ensuite moine, magicien, reformateur…
Expand