@misc{indiciae34326ccb92f0,
  title = {Modelling Mutual Exclusion in a Process Algebra with Time-outs},
  author = {Rob van Glabbeek},
  year = {2023},
  doi = {10.1016/j.ic.2023.105079},
  url = {https://arxiv.org/abs/2106.12785},
  note = {Source identifier: 2106.12785}
}