Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Related topics

Related topics

8 relations
Access tokenAlgorithmCritical sectionHypertext Transfer Protocol

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
We report on a case study in which we have model checked some properties for the Suzuki-Kasami distributed mutual exclusion… 
2016
2016
Tribenzopentaphene derivatives with lateral aromatic groups: the effect of the nature and position of substituents on emission properties
Nine new derivatives of the trapezoidal tribenzopentaphene (TBP) polycyclic aromatic hydrocarbon (PAH) were synthesized via the… 
2016
2016
An imidazolium ionic compound-supported palladium complex as an efficient catalyst for Suzuki–Miyaura reactions in aqueous media
A water soluble and efficient ionic compound-supported palladium complex was prepared. The structure and composition of the… 
Review
2015
Review
2015
Contribution of heterobifunctional ligands to transition metal-catalysed C{C coupling reactions
In this account the authors' latest results in C--C coupling catalysis are reviewed. First, an efficient catalytic system for the… 
2015
2015
Nickel catalyzed borylation and cross-coupling of representative C-O based electrophiles
The Suzuki-Miyaura cross-coupling is widely used in the synthesis of pharmaceuticals, agrochemicals, and organic light-emitting… 
2010
2010
A note on the security of MST3
In this paper, we study the recently proposed encryption scheme MST3, focusing on a concrete instantiation using Suzuki-2-groups… 
2007
2007
Modified mesoporous materials as Pd scavengers and catalyst supports
Abstract The use of mesoporous molecular sieves (MMSs) modified by mercaptopropyl trimethoxysilane (MPTMS) to scavenge Pd is… 
2007
2007
Synthesis and light emitting properties of sulfide-containing polyfluorenes and their nanocomposites with CdSe nanocrystals: A simple process to suppress keto-defect
2005
2005
Analysis of the Suzuki-Kasami algorithm with SAL model checkers
We report on a case study in which SAL model checkers have been used to analyze the Suzuki-Kasami distributed mutual exclusion… 
Highly Cited
2003
Highly Cited
2003
Synthesis of t-butylated diphenylanthracene derivatives as blue host materials for OLED applications
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)