Enhancing Readers-Writers Exclusion with Upgrade/Downgrade Primitives

Michael Diamond, Prasad Jayanti, Jake Leichtling. Enhancing Readers-Writers Exclusion with Upgrade/Downgrade Primitives. In Ahmed Bouajjani, Hugues Fauconnier, editors, Networked Systems - Third International Conference, NETYS 2015, Agadir, Morocco, May 13-15, 2015, Revised Selected Papers. Volume 9466 of Lecture Notes in Computer Science, pages 461-467, Springer, 2015. [doi]

Abstract

Abstract is missing.