@misc{indiciae2f6e7bc42a73,
  title = {Just Verification of Mutual Exclusion Algorithms with (Non-)Blocking and (Non-)Atomic Registers},
  author = {Rob van Glabbeek and Bas Luttik and Myrthe Spronck},
  year = {2026},
  url = {https://arxiv.org/abs/2604.01269},
  note = {Source identifier: 2604.01269}
}