TY - RPRT TI - On Register Linearizability and Termination AU - Vassos Hadzilacos AU - Xing Hu AU - Sam Toueg PY - 2021 UR - https://arxiv.org/abs/2102.13242 ID - 2102.13242 ER -