Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 226,052,332 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
2016
2016
Tribenzopentaphene derivatives with lateral aromatic groups: the effect of the nature and position of substituents on emission properties
Bassam Alameddine
,
R. Anju
,
F. Al-Sagheer
,
T. Jenny
2016
Corpus ID: 58934530
Nine new derivatives of the trapezoidal tribenzopentaphene (TBP) polycyclic aromatic hydrocarbon (PAH) were synthesized via the…
Expand
Review
2015
Review
2015
Contribution of heterobifunctional ligands to transition metal-catalysed C{C coupling reactions
A. Labande
,
E. Deydier
,
E. Manoury
,
J. Daran
,
Catherine Audin
,
R. Poli
2015
Corpus ID: 26298375
In this account the authors' latest results in C--C coupling catalysis are reviewed. First, an efficient catalytic system for the…
Expand
2012
2012
Synthesis of novel narrow-band-gap copolymers based on [1,2,5]thiadiazolo[3,4-f]benzotriazole and their application in bulk-heterojunction photovoltaic devices
Yang Dong
,
Wanzhu Cai
,
Xiaowen Hu
,
Chengmei Zhong
,
F. Huang
,
Yong Cao
2012
Corpus ID: 56120878
2010
2010
A note on the security of MST3
María Isabel González Vasco
,
Á. L. P. D. Pozo
,
Pedro Taborda Duarte
Des. Codes Cryptogr.
2010
Corpus ID: 22280180
In this paper, we study the recently proposed encryption scheme MST3, focusing on a concrete instantiation using Suzuki-2-groups…
Expand
2007
2007
Modified mesoporous materials as Pd scavengers and catalyst supports
C. Crudden
,
Kevin McEleney
,
S. MacQuarrie
,
A. Blanc
,
M. Sateesh
,
J. D. Webb
2007
Corpus ID: 55916586
Abstract The use of mesoporous molecular sieves (MMSs) modified by mercaptopropyl trimethoxysilane (MPTMS) to scavenge Pd is…
Expand
2007
2007
Synthesis and light emitting properties of sulfide-containing polyfluorenes and their nanocomposites with CdSe nanocrystals: A simple process to suppress keto-defect
Chung-He Yang
,
C. Bhongale
,
+4 authors
Chain‐Shu Hsu
2007
Corpus ID: 56038431
2007
2007
A Composition Approach to Mutual Exclusion Algorithms for Grid Applications
Julien Sopena
,
F. Legond-Aubry
,
L. Arantes
,
Pierre Sens
International Conference on Parallel Processing
2007
Corpus ID: 15892561
We propose a new composition approach to mutual exclusion algorithms for applications spread over a grid which is composed of a…
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
Highly Cited
2003
Highly Cited
2003
Synthesis of t-butylated diphenylanthracene derivatives as blue host materials for OLED applications
B. Balaganesan
,
W. Shen
,
Chin H. Chen
2003
Corpus ID: 53688490
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)
ACCEPT & CONTINUE