TY - RPRT TI - On Bisimulation in Absence of Restriction AU - Xian Xu PY - 2022 UR - https://arxiv.org/abs/2210.10574 ID - 2210.10574 ER -