Dekker's algorithm

Known as: Dekker algorithm, Dekkers algorithm 
Dekker's algorithm is the first known correct solution to the mutual exclusion problem in concurrent programming. The solution is attributed to Dutch… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1984-2016
01219842016

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
In this article, Black White (BW) Bakery algorithm is formally analyzed and verified in SPIN model checker. BW Bakery algorithm… (More)
  • table 1
  • table 2
  • table 4
  • table 5
Is this relevant?
2016
2016
Dekker’s algorithm was thought to be safe in an environment without atomic reads or writes where bits flicker or scramble during… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2016
2016
Analysis and finding errors in concurrent software/system particularly when it is used in safety or industrial critical systems… (More)
  • table I
  • figure 3
  • table II
  • figure 6
  • table III
Is this relevant?
2009
2009
In earlier work, we have shown that two variants of weak fairness can be expressed comparatively easily in the timed process… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 5
  • figure 7
Is this relevant?
2006
2006
Some floating-point algorithms have been used for decades and proved decades ago in radix-2, providing neither Underflow, nor… (More)
Is this relevant?
2006
2006
In earlier work, we have shown that two variants of weak fairness can be expressed comparatively easily in the timed process… (More)
  • table 1
Is this relevant?
2005
2005
Feijen and van Gasteren have shown how to use the theory of Owicki and Gries to design concurrent programs, however, the lack of… (More)
  • figure 2
  • figure 1
  • figure 4
  • figure 3
  • figure 5
Is this relevant?
2003
2003
  • Binding On, The Fly: Cross-Sentential Anaphora In Variable—free Semantics
  • 2003
ion over assignments (^) allows us to bring the free variable pronoun into the scope of the quantifier. The indefinite's… (More)
Is this relevant?
2003
2003
Dekker's algorithm[9] is the historically first software solution to mutual exclusion problem for 2-process case. The first… (More)
  • figure 1
  • table 1
Is this relevant?
1984
1984
A new and flexible solution to the problem of multiple users accessing a single resource, such as communication bandwidth or… (More)
Is this relevant?