Randomized mutual exclusion algorithms revisited
From MaRDI portal
Publication:5348858
DOI10.1145/135419.135468zbMath1370.68318OpenAlexW2093189971MaRDI QIDQ5348858
Michael O. Rabin, Eyal Kushilevitz
Publication date: 21 August 2017
Published in: Proceedings of the eleventh annual ACM symposium on Principles of distributed computing - PODC '92 (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/135419.135468
Related Items
Latticed \(k\)-induction with an application to probabilistic programs ⋮ Layered reasoning for randomized distributed algorithms ⋮ Randomized leader election ⋮ Shared-memory mutual exclusion: major research trends since 1986 ⋮ Using probabilistic Kleene algebra pKA for protocol verification ⋮ A closer look at fault tolerance ⋮ Structural transformations for data-enriched real-time systems ⋮ Probabilistic guarded commands mechanized in HOL