TY  - RPRT
TI  - Modelling Mutual Exclusion in a Process Algebra with Time-outs
AU  - Rob van Glabbeek
PY  - 2023
DO  - 10.1016/j.ic.2023.105079
UR  - https://arxiv.org/abs/2106.12785
ID  - 2106.12785
ER  -