Login / Signup

Randomized Mutual Exclusion with Constant Amortized RMR Complexity on the DSM.

George GiakkoupisPhilipp Woelfel
Published in: FOCS (2014)
Keyphrases
  • mutual exclusion
  • worst case
  • long distance
  • temporal planning
  • computational complexity
  • running times
  • upper bound
  • model checking
  • parallel algorithm
  • decision problems